ML-1998-04: Venema, Yde (1998) Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
ML-1998-04.text.ps.gz Download (125kB) |
|
Text (Abstract)
ML-1998-04.abstract.txt Download (699B) |
Abstract
We introduce a modal language for talking about projective planes. This
language is twosorted, 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 |
