Modal Logics of Some Hereditarily Irresolvable Spaces

DOI10.1007/978-3-030-71430-7_11OpenAlexW3013494662MaRDI QIDQ5027241

Robert Goldblatt

Publication date: 4 February 2022

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2003.12946

zbMATH Keywords

modal logicscattered spacecircumferenceKripke frametopological semanticsdenseresolvable spaceAlexandrov topologyderived setcrowdedhereditarily irresolvableopenly irresolvable

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Special properties of topological spaces (54F99)

Cites Work

• 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
• Intuitionistic logic and modality via topology
• Failure of interpolation in relevant logics
• Applications of maximal topologies
• Some results on modal axiomatization and definability for topological spaces
• Decidability and the finite model property
• A topological representation of lattices
• A topological representation theory for lattices
• Stone duality for lattices
• Resolvable, not maximally resolvable spaces
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Canonical extensions and ultraproducts of polarities
• Canonical extensions: an algebraic approach to Stone duality
• Ultrafilters and undecomposable spaces
• Resolvable spaces which are not maximally resolvable
• The algebra of topology
• Tree-like constructions in topology and modal logic
• Kripke models for linear logic
• Logics containing K4. Part II
• The undecidability of entailment and relevant implication
• Finite and $\omega $-resolvability
• Modal Logics that Bound the Circumference of Transitive Frames
• Reconciliation of approaches to the construction of canonical extensions of bounded lattices
• Relational Representation Theorems for Lattices with Negations: A Survey
• On maximally resolvable spaces
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• Boolean Algebras with Operators. Part I
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
• Bounded lattice expansions

This page was built for publication: Modal Logics of Some Hereditarily Irresolvable Spaces