Pages that link to "Item:Q4934808"

The following pages link to Points, lines and diamonds: a two-sorted modal logic for projective planes (Q4934808):

Displayed 9 items.

• Logic for physical space. From antiquity to present day (Q382998) ‎ (← links)
• Correspondence between Kripke frames and projective geometries (Q1708104) ‎ (← links)
• Undecidable theories of Lyndon algebras (Q2732275) ‎ (← links)
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study (Q2747941) ‎ (← 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)
• Modal translation of substructural logics (Q5217248) ‎ (← links)
• Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) ‎ (← links)