Intuitionistic logic and modality via topology

DOI10.1016/J.APAL.2003.11.013zbMATH Open1049.03018OpenAlexW2078421228MaRDI QIDQ598307FDOQ598307

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

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

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)

Cites Work

• The modal logic of inequality
• Title not available (Why is that?)
• Intuitionism. An introduction
• Title not available (Why is that?)
• On closed elements in closure algebras
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• Provability interpretations of modal logic
• Title not available (Why is that?)
• The algebra of topology
• Title not available (Why is that?)
• Title not available (Why is that?)
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Scattered toposes
• Synopsis of fronton theory
• Infinitary combinatorics and modal logic
• Title not available (Why is that?)
• Some relational systems and the associated topological spaces
• Arithmetical necessity, provability and intuitionistic logic
• Topological duality for diagonalizable algebras
• Provability in arithmetic and a schema of Grzegorczyk
• On the syntactical construction of systems of modal logic

Cited In (46)

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

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)