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

DOI10.1017/S1755020308080143zbMATH Open1204.03023OpenAlexW2104342436MaRDI QIDQ3580665FDOQ3580665

Authors: Kohei Kishida, Steve 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

Recommendations

• Modal Logics of Topological Relations
• Topology and duality in modal logic
• Some Connections between Topological and Modal Logic
• Intuitionistic logic and modality via topology
• scientific article; zbMATH DE number 6302891
• scientific article; zbMATH DE number 19500
• Topology, connectedness, and modal logic
• scientific article; zbMATH DE number 4047688
• Topological Modal Logics with Difference Modality
• scientific article; zbMATH DE number 1140672

zbMATH Keywords

topological semanticsfirst-order modal logicS4

Mathematics Subject Classification ID

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

Cites Work

• Topoi. The categorial analysis of logic
• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The algebra of topology
• Title not available (Why is that?)
• Presheaf semantics and independence results for some non-classical first- order logics
• Title not available (Why is that?)
• A topos-theoretic approach to reference and modality
• Completeness results for intuitionistic and modal logic in a categorical setting
• Title not available (Why is that?)
• Title not available (Why is that?)
• Incompleteness results in Kripke semantics
• Adjointness in foundations
• Title not available (Why is that?)
• Neighborhood-sheaf semantics for first-order modal logic

Cited In (30)

• Title not available (Why is that?)
• The modal logic of \({\beta(\mathbb{N})}\)
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• Topology and duality in modal logic
• Virtual modality
• Some Connections between Topological and Modal Logic
• Categories for dynamic epistemic logic
• Interpolation and amalgamation in modal cylindric algebras
• Intuitionistic logic and modality via topology
• The McKinsey-Tarski theorem for locally compact ordered spaces
• Ionads
• Title not available (Why is that?)
• Tree-like constructions in topology and modal logic
• Topological representation of material implication and the rule of inference modus ponens
• Identity and intensionality in univalent foundations and philosophy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological modal logic of $ \mathbb R$ with inequality
• Title not available (Why is that?)
• First order \(S4\) and its measure-theoretic semantics
• Neighborhood-sheaf semantics for first-order modal logic
• On algebraic and topological semantics of the modal logic of common knowledge \(\mathsf{S4}^C_I\)
• Omitting types algebraically and more about amalgamation for modal cylindric algebras
• Quantified intuitionistic logic over metrizable spaces
• Completeness of a functional system for surjective functions
• A topos-theoretic approach to reference and modality
• The intensional side of algebraic-topological representation theorems
• Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗
• A spatial logic with time and quantifiers
• Completeness of second-order propositional S4 and H in topological semantics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3580665)