The following pages link to « Everywhere » and « here » (Q4531583):
Displaying 24 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Connected modal logics (Q535140) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- The d-logic of the rational numbers: a fruitful construction (Q633161) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- Topology and measure in logics for region-based theories of space (Q1694810) (← links)
- The finite model property for logics with the tangle modality (Q1708103) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- STABLE CANONICAL RULES (Q2805038) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- A logic for metric and topology (Q5718689) (← links)
- THE BAIRE CLOSURE AND ITS LOGIC (Q6123578) (← links)
- TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES (Q6131227) (← links)
- Fixed point logics and definable topological properties (Q6149964) (← links)
