Correspondence between Kripke frames and projective geometries

DOI10.1007/s11225-017-9733-0zbMath1437.03094OpenAlexW2620714814MaRDI QIDQ1708104

Shengyang Zhong

Publication date: 4 April 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9733-0

zbMATH Keywords

modal logicprojective geometryquantum logicKripke framespatial logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General theory of linear incidence geometry and projective geometries (51A05) Quantum logic (03G12)

Related Items (6)

Unnamed Item ⋮ Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ Quantum entanglement: an analysis via the orthogonality relation ⋮ Quantum states: an analysis via the orthogonality relation ⋮ On the modal logic of the non-orthogonality relation between quantum states ⋮ Quantum monadic algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complete axiomatizations for quantum actions
• Semantic analysis of orthologic
• Dualities for infinite-dimensional projective geometries
• Semantics of the minimal logic of quantum mechanics
• The logic of quantum mechanics
• Modal logics for incidence geometries
• Handbook of Spatial Logics
• Modal Logics for Parallelism, Orthogonality, and Affine Geometries
• The Modal Multilogic of Geometry
• Orthogonality spaces and atomistic orthocomplemented lattices
• Points, lines and diamonds: a two-sorted modal logic for projective planes

This page was built for publication: Correspondence between Kripke frames and projective geometries