TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC

DOI10.1017/S1755020308080143zbMath1204.03023OpenAlexW2104342436MaRDI QIDQ3580665

Kohei Kishida, Steven Awodey

Publication date: 13 August 2010

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020308080143

zbMATH Keywords

first-order modal logictopological semanticsS4

Mathematics Subject Classification ID

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

Related Items (11)

AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ Omitting types algebraically and more about amalgamation for modal cylindric algebras ⋮ Categories for Dynamic Epistemic Logic ⋮ Completeness of a functional system for surjective functions ⋮ Identity and intensionality in univalent foundations and philosophy ⋮ Ionads ⋮ First order \(S4\) and its measure-theoretic semantics ⋮ Interpolation and amalgamation in modal cylindric algebras ⋮ Neighborhood-Sheaf Semantics for First-Order Modal Logic ⋮ QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES ⋮ Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗

Cites Work

• Presheaf semantics and independence results for some non-classical first- order logics
• Topoi. The categorial analysis of logic
• A topos-theoretic approach to reference and modality
• Sheaves in geometry and logic: a first introduction to topos theory
• Completeness results for intuitionistic and modal logic in a categorical setting
• The algebra of topology
• Neighborhood-Sheaf Semantics for First-Order Modal Logic
• Incompleteness results in Kripke semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC