Pages that link to "Item:Q4812319"
From MaRDI portal
The following pages link to Reasoning About Space: The Modal Way (Q4812319):
Displayed 41 items.
- A generalization of inquisitive semantics (Q312497) (← links)
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Topological properties of generalized approximation spaces (Q433034) (← links)
- Modal logics of Stone spaces (Q438813) (← links)
- Some topological properties of paraconsistent models (Q484905) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Connected modal logics (Q535140) (← links)
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Dynamic topological logic (Q705534) (← links)
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- Dynamic measure logic (Q714709) (← links)
- Some results on modal axiomatization and definability for topological spaces (Q817694) (← links)
- Multimodal logics of products of topologies (Q861569) (← links)
- A unifying study between modal-like operators, topologies and fuzzy sets (Q881822) (← links)
- The modal logic of \({\beta(\mathbb{N})}\) (Q1016504) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- Topology and measure in logics for region-based theories of space (Q1694810) (← links)
- Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces (Q1751496) (← links)
- A new proof of the McKinsey-Tarski theorem (Q1756601) (← links)
- A proof of topological completeness for S4 in \((0,1)\) (Q1772779) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Logics from Galois connections (Q2379337) (← links)
- Tree-like constructions in topology and modal logic (Q2663333) (← links)
- Topological Perspective on the Hybrid Proof Rules (Q2867949) (← links)
- Logics for multi-subset spaces (Q2901196) (← links)
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time (Q2947457) (← links)
- Topological Subset Space Models for Public Announcements (Q3299575) (← links)
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference (Q3455847) (← links)
- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes (Q3523110) (← links)
- THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE (Q3550704) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- Experiments in Theorem Proving for Topological Hybrid Logic (Q4982128) (← links)
- Strong Completeness of S4 for the Real Line (Q5027240) (← links)
- COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω (Q5082052) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)
- LOGICS ABOVE <i>S</i>4 AND THE LEBESGUE MEASURE ALGEBRA (Q5737960) (← links)
- INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)
- The epistemology of nondeterminism (Q6097774) (← links)
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION (Q6123585) (← links)
- Modal logic of generalized separated topological spaces (Q6132569) (← links)
- Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces (Q6142484) (← links)