Pages that link to "Item:Q2785842"
From MaRDI portal
The following pages link to Modal logics for incidence geometries (Q2785842):
Displaying 10 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Correspondence between Kripke frames and projective geometries (Q1708104) (← 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)
