scientific article; zbMATH DE number 1303430

MaRDI QIDQ4250039zbMATH OpenFDO

Authors G. E. Mints

Publication date 17 June 1999

zbMATH Keywords

Cantor spacecompletenessmodal logicpropositional S4topological interpretation

Mathematics Subject Classification ID

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

Recommendations

• A proof of topological completeness for S4 in (0,1)
• S4 is Topologically Complete for (0,1): a Short Proof
• Completeness of S4 with respect to the real line: revisited
• The modal logic of continuous functions on Cantor space

Cited in

(16)

• Topology and measure in logics for region-based theories of space
• Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces
• A new proof of the McKinsey-Tarski theorem
• A proof of topological completeness for S4 in (0,1)
• Tree-like constructions in topology and modal logic
• Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics
• On Dynamic Topological Logic of the Real Line
• The Cantor space as a generic model of topologically presented knowledge
• Completeness of second-order propositional S4 and H in topological semantics
• Revisiting McKinsey's `syntactical' construction of modality
• Spatial logic of tangled closure operators and modal mu-calculus
• S4 is Topologically Complete for (0,1): a Short Proof
• Completeness of S4 with respect to the real line: revisited
• Multimodal logics of products of topologies
• The modal logic of continuous functions on Cantor space
• A canonical topological model for extensions of K4

This page was built for publication:

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