TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
From MaRDI portal
Publication:3580665
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
Cites work
- scientific article; zbMATH DE number 3645093 (Why is no real title available?)
- scientific article; zbMATH DE number 4072929 (Why is no real title available?)
- scientific article; zbMATH DE number 3685485 (Why is no real title available?)
- scientific article; zbMATH DE number 19500 (Why is no real title available?)
- scientific article; zbMATH DE number 218502 (Why is no real title available?)
- scientific article; zbMATH DE number 6302891 (Why is no real title available?)
- scientific article; zbMATH DE number 3411260 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- A topos-theoretic approach to reference and modality
- Adjointness in foundations
- Completeness results for intuitionistic and modal logic in a categorical setting
- Incompleteness results in Kripke semantics
- Neighborhood-sheaf semantics for first-order modal logic
- Presheaf semantics and independence results for some non-classical first- order logics
- Sheaves in geometry and logic: a first introduction to topos theory
- The algebra of topology
- Topoi. The categorial analysis of logic
Cited in
(30)- Completeness of second-order propositional S4 and H in topological semantics
- The modal logic of \({\beta(\mathbb{N})}\)
- scientific article; zbMATH DE number 4010491 (Why is no real title available?)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Topology and duality in modal logic
- Virtual modality
- Some Connections between Topological and Modal Logic
- Intuitionistic logic and modality via topology
- Categories for dynamic epistemic logic
- Interpolation and amalgamation in modal cylindric algebras
- Ionads
- The McKinsey-Tarski theorem for locally compact ordered spaces
- Tree-like constructions in topology and modal logic
- Topological representation of material implication and the rule of inference modus ponens
- scientific article; zbMATH DE number 6302891 (Why is no real title available?)
- Identity and intensionality in univalent foundations and philosophy
- scientific article; zbMATH DE number 5295723 (Why is no real title available?)
- scientific article; zbMATH DE number 4047688 (Why is no real title available?)
- scientific article; zbMATH DE number 19500 (Why is no real title available?)
- Topological modal logic of $ \mathbb R$ with inequality
- 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
- A topos-theoretic approach to reference and modality
- Completeness of a functional system for surjective functions
- 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
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)
