KRULL DIMENSION IN MODAL LOGIC

DOI10.1017/jsl.2017.14zbMath1421.03007OpenAlexW2783668782MaRDI QIDQ4600458

Jan van Mill, Joel Lucero-Bryan, Guram Bezhanishvili, Nick Bezhanishvili

Publication date: 11 January 2018

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11245.1/a5a3ef35-f19a-4cc6-851a-26376e072e76

zbMATH Keywords

modal logicKrull dimensionHeyting algebratopological semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Dimension theory in general topology (54F45) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Adjunction spaces and similar constructions in general topology (54B17)

Related Items (8)

Tree-like constructions in topology and modal logic ⋮ THE BAIRE CLOSURE AND ITS LOGIC ⋮ Tarski's theorem on intuitionistic logic, for polyhedra ⋮ On modal logics arising from scattered locally compact Hausdorff spaces ⋮ TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 ⋮ A new proof of the McKinsey-Tarski theorem ⋮ THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES ⋮ CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC

Cites Work

• Sahlqvist correspondence for modal mu-calculus
• Applications of maximal topologies
• Projective topological spaces
• Some results on modal axiomatization and definability for topological spaces
• Remote points and G-spaces
• Finite-level modal logics
• Resolvable, not maximally resolvable spaces
• Remote points in large products
• The algebra of topology
• On closed elements in closure algebras
• La logique des topos
• Handbook of Spatial Logics
• On n -to-one continuous images of β ℕ
• An ascending chain of S4 logics
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• MODAL LOGICS OF METRIC SPACES
• Absolute Baire Sets
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: KRULL DIMENSION IN MODAL LOGIC