Abstract
This is a reprinting of Ken Pledger’s PhD thesis, submitted to the University of Warsaw in 1980 with the degree awarded in 1981. It develops a one-sorted approach to the theory of plane geometry, based on the idea that the usually two-sorted theory “can be made one-sorted by keeping careful account of whether the incidence relation is iterated an even or odd number of times”.The one-sorted structures can also serve as Kripke frames for modal logics, and the thesis defines and studies two such logics that are validated by projective planes and elliptic planes respectively. It raises questions of logical completeness for these systems that are addressed in the first article of this journal issue.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.26686/ajl.v18i4.6831
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,192
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Modal Multilogic of Geometry.Philippe Balbiani - 1998 - Journal of Applied Non-Classical Logics 8 (3):259-281.
Lattice Logic as a Fragment of (2-Sorted) Residuated Modal Logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.
An Expressive Two-Sorted Spatial Logic for Plane Projective Geometry.Philippe Balbiani - 2006 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 49-68.
An Expressive Two-Sorted Spatial Logic for Plane Projective Geometry.Philippe Balbiani - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 49-68.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
The Logic of Sequence Frames.Fabio Lampert - 2022 - Review of Symbolic Logic 15 (1):101-132.
Barwise's Information Frames and Modal Logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
Simulation Logic.Gerard Allwein, William L. Harrison & David Andrews - 2014 - Logic and Logical Philosophy 23 (3).

Analytics

Added to PP index
2021-06-19

Total views
9 ( #951,032 of 2,507,480 )

Recent downloads (6 months)
1 ( #416,983 of 2,507,480 )

How can I increase my downloads?

Downloads

My notes