Reasoning About Space: The Modal Way
From MaRDI portal
Recommendations
- Topology, connectedness, and modal logic
- The modal logic of continuous functions on Cantor space
- A proof of topological completeness for S4 in (0,1)
- Simple completeness proofs for some spatial logics of the real line
- Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces
Cited in
(54)- Topological properties of generalized approximation spaces
- Topological reasoning and the logic of knowledge
- A spatial modal logic with a location interpretation
- The modal logic of \({\beta(\mathbb{N})}\)
- Instantial neighbourhood logic
- scientific article; zbMATH DE number 4010491 (Why is no real title available?)
- Connected modal logics
- A unifying study between modal-like operators, topologies and fuzzy sets
- Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
- A proof of topological completeness for S4 in (0,1)
- Krull dimension in modal logic
- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
- Topology, connectedness, and modal logic
- Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces
- Modal logics of Stone spaces
- Completeness of S4 with respect to the real line: revisited
- Dynamic topological logic
- Logics from Galois connections
- Topological completeness of logics above \(\mathbf{S4}\)
- Modal logic of generalized separated topological spaces
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time
- A generalization of inquisitive semantics
- Some results on modal axiomatization and definability for topological spaces
- Multimodal logics of products of topologies
- Topological perspective on the hybrid proof rules
- The McKinsey-Tarski theorem for locally compact ordered spaces
- Extended canonicity of certain topological properties of set spaces
- Linear and affine logics with temporal, spatial and epistemic operators
- Tree-like constructions in topology and modal logic
- Topological subset space models for public announcements
- A modal walk through space
- Dynamic measure logic
- Some topological properties of paraconsistent models
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
- On Dynamic Topological Logic of the Real Line
- LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA
- The modal logic of Stone spaces: diamond as derivative
- Hybrid logics of separation axioms
- Logics for multi-subset spaces
- A logical account of pspace
- Topology and measure in logics for region-based theories of space
- scientific article; zbMATH DE number 5241969 (Why is no real title available?)
- Logic for physical space. From antiquity to present day
- A new proof of the McKinsey-Tarski theorem
- Strong Completeness of S4 for the Real Line
- Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
- Spatial logic of tangled closure operators and modal mu-calculus
- Experiments in theorem proving for topological hybrid logic
- Reasoning about space: The hole story
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
- COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω
- The epistemology of nondeterminism
- Simple completeness proofs for some spatial logics of the real line
This page was built for publication: Reasoning About Space: The Modal Way
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4812319)
