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 semanticsKripke framesincompletenessmodal logicsintermediate logic D-Jtoposes of set-valued functorsweak excluded middle schema

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Intermediate logics (03B55)

Related Items (15)

The Invariance Modality ⋮ Constructive Game Logic ⋮ On the predicate logics of finite Kripke frames ⋮ Incompleteness results in Kripke semantics ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle ⋮ Maximal Kripke-type semantics for modal and superintuitionistic predicate logics ⋮ Quantified extensions of canonical propositional intermediate logics ⋮ TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC ⋮ FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS ⋮ Directed frames ⋮ 2008 Winter Meeting of the Association for Symbolic Logic ⋮ Neighborhood-Sheaf Semantics for First-Order Modal Logic ⋮ Constructive Modalities with Provability Smack ⋮ On the predicate logic of linear Kripke frames and some of its extensions

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

This page was built for publication: Presheaf semantics and independence results for some non-classical first- order logics