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