Pages that link to "Item:Q4812319"
From MaRDI portal
The following pages link to Reasoning About Space: The Modal Way (Q4812319):
Displayed 27 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)
- 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)
- 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)
- 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)
- 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)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)