Correspondence between Kripke frames and projective geometries
type: Item
instance of: scholarly article
title: Correspondence between Kripke frames and projective geometries
zbMATH Open document ID: 1437.03094
author: Shengyang Zhong
published in: Studia Logica
publication date: 2018-04-04T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 51A05
zbMATH DE Number: 6855871
zbMATH Keywords: Kripke frame
zbMATH Keywords: projective geometry
zbMATH Keywords: quantum logic
zbMATH Keywords: spatial logic
zbMATH Keywords: modal logic
MaRDI profile type: Publication
full work available at URL: s11225-017-9733-0
OpenAlex ID: W2620714814
cites work: Handbook of Spatial Logics
cites work: The Modal Multilogic of Geometry
cites work: Modal logics for incidence geometries
cites work: Modal Logics for Parallelism, Orthogonality, and Affine Geometries
cites work: Complete axiomatizations for quantum actions
cites work: Q5732018
cites work: The logic of quantum mechanics
cites work: Modal logic
cites work: Q4276278
cites work: Q3766390
cites work: Semantics of the minimal logic of quantum mechanics
cites work: Dualities for infinite-dimensional projective geometries
cites work: Q4506478
cites work: Semantic analysis of orthologic
cites work: Orthogonality spaces and atomistic orthocomplemented lattices
cites work: Q4882483
cites work: Q4100556
cites work: Q5427872
cites work: Q3702812
cites work: Points, lines and diamonds: a two-sorted modal logic for projective planes
DOI: 10.1007/S11225-017-9733-0
description: scientific article; zbMATH DE number 6855871