Pages that link to "Item:Q3647300"
From MaRDI portal
The following pages link to Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300):
Displaying 5 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Correspondence between Kripke frames and projective geometries (Q1708104) (← links)
- Line-based affine reasoning in Euclidean plane (Q2372194) (← links)
- The modal logic of affine planes is not finitely axiomatisable (Q3617371) (← links)
