# Presheaf semantics and independence results for some non-classical first-order logics

@article{Ghilardi1989PresheafSA, title={Presheaf semantics and independence results for some non-classical first-order logics}, author={S. Ghilardi}, journal={Archive for Mathematical Logic}, year={1989}, volume={29}, pages={125-136} }

The logicD-J of the weak exluded middle with constant domains is proved to be incomplete with respect to Kripke semantics, by introducing models in presheaves on an arbitrary category. Additional incompleteness results are obtained for the modal systems with nested domains extendingQ-S4.1.

#### Topics from this paper.

33 Citations

Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster

- Computer Science, Mathematics
- 2000

2

On the Existence of Continua of Logics Between Some Intermediate Predicate Logics

- Computer Science, Mathematics
- 2000

On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees

- Mathematics, Computer Science
- 2004

5

On the Predicate Logic of Linear Kripke Frames and some of its Extensions

- Mathematics, Computer Science
- 2005

6

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 11 REFERENCES

G.G.: Transformational semantics for first order logic

- 1990

Lect

- 1987

Lemmon, E.J.: An introduction to modal logic

- 1988

Modal and tense predicate logic: Models in presheaves and categorical conceptualization

- Computer Science
- 1988

31

Model extension theorem and Craig's interpolation theorem for intermediate predicate

- 1977