Some Connections between Topological and Modal Logic

DOI10.1002/MALQ.19950410106zbMATH Open0827.03007OpenAlexW2049039586WikidataQ126258347 ScholiaQ126258347MaRDI QIDQ4323831FDOQ4323831

Kurt Engesser

Publication date: 13 December 1995

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19950410106

zbMATH Keywords

interpolationcompletenessKripke semanticspropositional modal logicneighbourhood semanticstopological model theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other model constructions (03C30) Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40)

Cited In (10)

• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Topology and duality in modal logic
• Topological-frame products of modal logics
• Cardinal spaces and topological representations of bimodal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological modal logic of $ \mathbb R$ with inequality
• Title not available (Why is that?)
• A topos-theoretic approach to reference and modality
• A modal logic framework for reasoning about comparative distances and topology

Recommendations

• Topology and duality in modal logic 👍 👎
• Intuitionistic logic and modality via topology 👍 👎
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC 👍 👎
• Topological Modal Logics with Difference Modality 👍 👎
• Modal Logics of Topological Relations 👍 👎
• Topological modal logics satisfying finite chain conditions 👍 👎
• Modal logic of generalized separated topological spaces 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Some Connections between Topological and Modal Logic

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