Intuitionistic logic and modality via topology

DOI10.1016/j.apal.2003.11.013zbMath1049.03018MaRDI QIDQ598307

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 algebras; Closure algebra; Derivative algebra; Modal systems; Provability logic; Scattered space; Topological semantics

Mathematics Subject Classification ID

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

54G12: Scattered spaces

06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)

06D25: Post algebras (lattice-theoretic aspects)

03F45: Provability logics and related algebras (e.g., diagonalizable algebras)

Related Items

Foreword to the special issue dedicated to the memory of Leo Esakia, The d-logic of the rational numbers: a fruitful construction, The power of a propositional constant, Around provability logic, THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE, The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★

Cites Work

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