Modal Logics for Parallelism, Orthogonality, and Affine Geometries

Journal of Applied Non-Classical Logics 12 (3-4):365-397 (2002)
Download Edit this record How to cite View on PhilPapers
Abstract
We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.
ISBN(s)
PhilPapers/Archive ID
BALMLF
Upload history
Archival date: 2018-04-21
View other versions
Added to PP index
2014-01-21

Total views
64 ( #39,880 of 51,433 )

Recent downloads (6 months)
11 ( #38,327 of 51,433 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.