The Modal Multilogic of Geometry
- 1 January 1998
- journal article
- research article
- Published by Taylor & Francis in Journal of Applied Non-Classical Logics
- Vol. 8 (3) , 259-281
- https://doi.org/10.1080/11663081.1998.10510945
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
This publication has 9 references indexed in Scilit:
- Modal logics for incidence geometriesJournal of Logic and Computation, 1997
- Modal Logics for Qualitative Spatial ReasoningLogic Journal of the IGPL, 1996
- The logic of Peirce algebrasJournal of Logic, Language and Information, 1995
- Reasoning About KnowledgePublished by MIT Press ,1995
- Temporal LogicPublished by Springer Nature ,1994
- The modal logic of inequalityThe Journal of Symbolic Logic, 1992
- Logic For Reasoning About KnowledgeMathematical Logic Quarterly, 1989
- Dynamic LogicPublished by Springer Nature ,1984
- Modal Logics Between S 4 and S 5Mathematical Logic Quarterly, 1959