Neighborhood-Sheaf Semantics for First-Order Modal Logic

DOI10.1016/j.entcs.2011.10.011zbMath1347.03046OpenAlexW1979416980WikidataQ113318195 ScholiaQ113318195MaRDI QIDQ2825413

Kohei Kishida

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.10.011

zbMATH Keywords

first-order modal logicneighborhood semanticssheaf semantics

Mathematics Subject Classification ID

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

Related Items (2)

Categories for Dynamic Epistemic Logic ⋮ TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC

Cites Work

• Presheaf semantics and independence results for some non-classical first- order logics
• Quantification in nonclassical logic. Volume I.
• First-order classical modal logic
• Topoi. The categorial analysis of logic
• Sheaves in geometry and logic: a first introduction to topos theory
• A topological completeness theorem
• Completeness results for intuitionistic and modal logic in a categorical setting
• The algebra of topology
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Adjointness in Foundations
• An elementary definability theorem for first order logic
• Universal grammar
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Neighborhood-Sheaf Semantics for First-Order Modal Logic