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

DOI10.1007/BF01620621zbMath0691.03013MaRDI QIDQ582278

Silvio Ghilardi

Publication date: 1989

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

Kripke semantics; Kripke frames; incompleteness; modal logics; intermediate logic D-J; toposes of set-valued functors; weak excluded middle schema

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03G30: Categorical logic, topoi

03B55: Intermediate logics

Related Items

FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS, Constructive Modalities with Provability Smack, Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle, Maximal Kripke-type semantics for modal and superintuitionistic predicate logics, On the predicate logic of linear Kripke frames and some of its extensions, Quantified extensions of canonical propositional intermediate logics, Directed frames, On the predicate logics of finite Kripke frames, Neighborhood-Sheaf Semantics for First-Order Modal Logic, TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC, 2008 Winter Meeting of the Association for Symbolic Logic, Incompleteness results in Kripke semantics

Cites Work

• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Directed frames
• Incompleteness results in Kripke semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item