The Modal Multilogic of Geometry

Journal of Applied Non-Classical Logics 8 (3):259-281 (1998)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1998.10510945

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Projective spinor geometry and prespace.F. A. M. Frescura - 1988 - Foundations of Physics 18 (8):777-808.
Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃”.Victor Pambuccian - 2008 - Mathematical Logic Quarterly 54 (6):668-668.
The complexity of plane hyperbolic incidence geometry is∀∃∀∃.Victor Pambuccian - 2005 - Mathematical Logic Quarterly 51 (3):277-281.
Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity.Victor Pambuccian - 2002 - Synthese 133 (3):331 - 341.
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.
Essays on the foundations of mathematics.Moritz Pasch - 2010 - New York: Springer. Edited by Stephen Pollard.
Undecidable theories of Lyndon algebras.Vera Stebletsova & Yde Venema - 2001 - Journal of Symbolic Logic 66 (1):207-224.
Formalization of Hilbert's geometry of incidence and parallelism.Jan von Plato - 1997 - Synthese 110 (1):127-141.
Formalization of Hilbert's geometry of incidence and parallelism.Jan Platvono - 1997 - Synthese 110 (1):127-141.
Quantifier elimination for elementary geometry and elementary affine geometry.Rafael Grimson, Bart Kuijpers & Walied Othman - 2012 - Mathematical Logic Quarterly 58 (6):399-416.
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.
Husserl on Geometry and Spatial Representation.Jairo José da Silva - 2012 - Axiomathes 22 (1):5-30.
Husserl on Geometry and Spatial Representation.Jairo José Silva - 2012 - Axiomathes 22 (1):5-30.

Analytics

Added to PP
2013-12-01

Downloads
70 (#228,790)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

View all 7 citations / Add more citations

References found in this work

Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 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.
The modal logic of inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.

View all 18 references / Add more references