Intuitionistic logic and modality via topology

DOI10.1016/J.APAL.2003.11.013MaRDI QIDQ598307zbMATH OpenOpenAlexFDO

Authors Leo Esakia

Publication date 6 August 2004

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2003.11.013

zbMATH Keywords

Heyting algebrasClosure algebraDerivative algebraModal systemsProvability logicScattered spaceTopological semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Scattered spaces (54G12) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Post algebras (lattice-theoretic aspects) (06D25)

Recommendations

• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• scientific article; zbMATH DE number 1418447
• Topological interpretations of provability logic
• Intuitionistic tense and modal logic
• Modalities as interactions between the classical and the intuitionistic logics

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 3177268 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 1975416 (Why is no real title available?)
• scientific article; zbMATH DE number 1852920 (Why is no real title available?)
• Arithmetical necessity, provability and intuitionistic logic
• Infinitary combinatorics and modal logic
• Intuitionism. An introduction
• On closed elements in closure algebras
• On the syntactical construction of systems of modal logic
• Provability in arithmetic and a schema of Grzegorczyk
• Provability interpretations of modal logic
• Scattered toposes
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Some relational systems and the associated topological spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• Synopsis of fronton theory
• The algebra of topology
• The modal logic of inequality
• Topological duality for diagonalizable algebras

Cited in

(46)

• Modal Logics of Some Hereditarily Irresolvable Spaces
• Topological modal logic of $ \mathbb R$ with inequality
• Modal logic of generalized separated topological spaces
• The d-logic of the rational numbers: a fruitful construction
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Topological representation of intuitionistic and distributive abstract logics
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• Formalising basic topology for computational logic in simple type theory
• Fixed point logics and definable topological properties
• The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames
• Topological representation of material implication and the rule of inference modus ponens
• The modal logic of Stone spaces: diamond as derivative
• The power of a propositional constant
• Constructive modalities with provability smack
• scientific article; zbMATH DE number 4121997 (Why is no real title available?)
• Formal systems for modal operators on locales
• scientific article; zbMATH DE number 1497740 (Why is no real title available?)
• A topos-theoretic approach to reference and modality
• scientific article; zbMATH DE number 3855060 (Why is no real title available?)
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Topological-frame products of modal logics
• scientific article; zbMATH DE number 19500 (Why is no real title available?)
• MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
• Some purely topological models for intuitionistic analysis
• Fixed point logics and definable topological properties
• scientific article; zbMATH DE number 3896902 (Why is no real title available?)
• Finite model property in weakly transitive tense logics
• Topological separation principles and logical theories
• Dynamic Cantor Derivative Logic
• Spatial logic of tangled closure operators and modal mu-calculus
• scientific article; zbMATH DE number 5295723 (Why is no real title available?)
• Modal translation of substructural logics
• scientific article; zbMATH DE number 4047688 (Why is no real title available?)
• Additive derivative and multiplicative coderivative operators on MV-algebras
• A topological approach to full belief
• Doctrines, modalities and comonads
• Around provability logic
• Alternative semantics for Visser's propositional logics
• Foreword to the special issue dedicated to the memory of Leo Esakia
• Topological and multi-topological frames in the context of intuitionistic modal logic
• Pantachies and Weakly Inaccessible Cardinals
• scientific article; zbMATH DE number 6302891 (Why is no real title available?)
• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
• Cardinal spaces and topological representations of bimodal logics
• Topology and duality in modal logic
• Some Connections between Topological and Modal Logic

This page was built for publication: Intuitionistic logic and modality via topology

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