The following pages link to The Modal Multilogic of Geometry (Q4236068):
Displaying 8 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Correspondence between Kripke frames and projective geometries (Q1708104) (← links)
- Geographic wayfinders and space-time algebra (Q2423755) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE (Q6041349) (← links)