ML-1998-04: Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes

ML-1998-04: Venema, Yde (1998) Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes. [Report]

[thumbnail of Full Text] Text (Full Text)
ML-1998-04.text.ps.gz

Download (125kB)
[thumbnail of Abstract] Text (Abstract)
ML-1998-04.abstract.txt

Download (699B)

Abstract

We introduce a modal language for talking about projective planes. This
language is two­sorted, containing formulas to be evaluated at points and
at lines, respectively. The language has two diamonds whose intended
accessibility relations are the two directions of the incidence relation
between points and lines.
We provide a sound and complete axiomatization for the formulas that are
valid in the class of projective planes. We also show that it is decidable
whether a given formula is satisfiable in a projective plane, and we
characterize the computational complexity of this satisfaction problem.

Item Type: Report
Report Nr: ML-1998-04
Series Name: Mathematical Logic and Foundations (ML)
Year: 1998
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1393

Actions (login required)

View Item View Item