Pages that link to "Item:Q4812319"
From MaRDI portal
The following pages link to Reasoning About Space: The Modal Way (Q4812319):
Displayed 19 items.
- Topological properties of generalized approximation spaces (Q433034) (← links)
- Modal logics of Stone spaces (Q438813) (← 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)
- Logics for multi-subset spaces (Q2901196) (← 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)