Abstract
ABSTRACT A spatial logic is a modal logic of which the models are the mathematical models of space. Successively considering the mathematical models of space that are the incidence geometry and the projective geometry, we will successively establish the language, the semantical basis, the axiomatical presentation, the proof of the decidability and the proof of the completeness of INC, the modal multilogic of incidence geometry, and PRO, the modal multilogic of projective geometry
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1080/11663081.1998.10510945
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: 71,436
Through your library

References found in this work BETA

The Modal Logic of Inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):250-264.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14‐24):250-264.

View all 19 references / Add more references

Citations of this work BETA

Lattice Logic as a Fragment of (2-Sorted) Residuated Modal Logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.
Modal Translation of Substructural Logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.
Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):365-397.

View all 6 citations / Add more citations

Similar books and articles

Projective Spinor Geometry and Prespace.F. A. M. Frescura - 1988 - Foundations of Physics 18 (8):777-808.
A Note on Parallelism in Affine Geometry.Peter Schreiber - 1993 - Mathematical Logic Quarterly 39 (1):131-132.
Ternary Operations as Primitive Notions for Plane Geometry II.Victor Pambuccian - 1992 - Mathematical Logic Quarterly 38 (1):345-348.
Undecidable Theories of Lyndon Algebras.Vera Stebletsova & Yde Venema - 2001 - Journal of Symbolic Logic 66 (1):207-224.
Kant's Philosophy of Geometry--On the Road to a Final Assessment.L. Kvasz - 2011 - Philosophia Mathematica 19 (2):139-166.
Remarks on the Geometry of Visibles.Gordon Belot - 2003 - Philosophical Quarterly 53 (213):581–586.

Analytics

Added to PP index
2013-12-01

Total views
58 ( #198,256 of 2,520,424 )

Recent downloads (6 months)
4 ( #166,910 of 2,520,424 )

How can I increase my downloads?

Downloads

My notes