Pages that link to "Item:Q2785842"
From MaRDI portal
The following pages link to Modal logics for incidence geometries (Q2785842):
Displaying 14 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Modal logics of some geometrical structures (Q927480) (← 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)
- A ModalWalk Through Space (Q3647299) (← links)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300) (← links)
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
- The Modal Multilogic of Geometry (Q4236068) (← links)
- Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
- A short biography of Luis Fariñas del Cerro (Q4586226) (← links)
- Geometrical structures and modal logic (Q4632288) (← links)
- Points, lines and diamonds: a two-sorted modal logic for projective planes (Q4934808) (← links)
- Logics in Artificial Intelligence (Q5394146) (← links)