The following pages link to A ModalWalk Through Space (Q3647299):
Displaying 12 items.
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Some topological properties of paraconsistent models (Q484905) (← links)
- Some results on modal axiomatization and definability for topological spaces (Q817694) (← links)
- Subject-oriented spatial logic (Q821569) (← links)
- Multimodal logics of products of topologies (Q861569) (← links)
- A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
- Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology (Q2488623) (← links)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300) (← links)
- Analysing Spatial Properties on Neighbourhood Spaces (Q5089239) (← links)
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning (Q5243398) (← links)
- CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE (Q6041349) (← links)