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}
}
  • S. Ghilardi
  • Published 1989
  • Mathematics, Computer Science
  • Archive for Mathematical Logic
  • 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.

    Products of Modal Logics, Part 1
    180
    Constructive Modalities with Provability Smack
    19
    COUNTERPART SEMANTICS A FOUNDATIONAL STUDY ON QUANTIFIED MODAL LOGICS
    8
    On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees
    5
    SOME SUPER-INTUITIONISTIC
    First-order possibility Models and Finitary Completeness Proofs
    4
    Fe b 20 14 Topos Semantics for Higher-Order Modal Logic

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 11 REFERENCES
    Incompleteness Results in Kripke Semantics
    37
    Directed frames
    8
    First order categorical logic
    150
    G.G.: Transformational semantics for first order logic
    • 1990
    Lect
    • 1987
    Lemmon, E.J.: An introduction to modal logic
    • 1988
    Model extension theorem and Craig's interpolation theorem for intermediate predicate
    • 1977