A calculus for modal compact Hausdorff spaces

DOI10.1093/LOGCOM/EXAE086MaRDI QIDQ6923515zbMATH OpenFDO

Authors Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Zhiguang Zhao

Publication date 30 September 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAE086

zbMATH Keywords

\(\Pi_2\)-ruleadmissible rulecompact Hausdorff spacecontinuous relationde Vries algebramodal logicstrict implication

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Modal logic (including the logic of norms) (03B45) Stone spaces (Boolean spaces) and related structures (06E15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Proximity structures and generalizations (54E05) Computer science (68-XX)

Cites work

• A strict implication calculus for compact Hausdorff spaces
• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
• Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Compact Hausdorff spaces with relations and Gleason spaces
• Decidability for branching time
• Derivation rules as anti-axioms in modal logic
• Elementary canonical formulae: extending Sahlqvist's theorem
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 475198 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• Irreducible equivalence relations, Gleason spaces, and de Vries duality
• Many-dimensional modal logics: theory and applications
• Modal compact Hausdorff spaces
• Modal logic
• Model completeness and _2-rules: the case of contact algebras
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Region-based theory of space: algebras of regions, representation theory, and logics
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Stable canonical rules
• Stone duality and Gleason covers through de Vries duality
• The Theory of Representation for Boolean Algebras
• Using the Universal Modality: Gains and Questions

This page was built for publication: A calculus for modal compact Hausdorff spaces

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