Pages that link to "Item:Q927480"
From MaRDI portal
The following pages link to Modal logics of some geometrical structures (Q927480):
Displaying 13 items.
- Modal logics of domains on the real plane (Q794634) (← links)
- Euclidean hierarchy in modal logic (Q1419386) (← links)
- Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
- (Q3080425) (← links)
- Dynamic logics of the region-based theory of discrete spaces (Q3647263) (← links)
- (Q3647279) (← links)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300) (← links)
- (Q4215599) (← links)
- Geometrical structures and modal logic (Q4632288) (← links)
- (Q4689309) (← links)
- Notes on the geometry of logic and philosophy (Q4803968) (← links)
- Rational Region-Based Affine Logic of the Real Plane (Q5277922) (← links)
- Modal Logics of Regions and Minkowski Spacetime (Q5696309) (← links)