A ModalWalk Through Space
- 1 January 2002
- journal article
- Published by Taylor & Francis in Journal of Applied Non-Classical Logics
- Vol. 12 (3-4)
- https://doi.org/10.3166/jancl.12.319-363
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Modal LogicPublished by Cambridge University Press (CUP) ,2001
- The Modal Multilogic of GeometryJournal of Applied Non-Classical Logics, 1998
- Modal logics for incidence geometriesJournal of Logic and Computation, 1997
- Topological reasoning and the logic of knowledgeAnnals of Pure and Applied Logic, 1996
- The complexity of elementary algebra and geometryJournal of Computer and System Sciences, 1986
- Basic Tense LogicPublished by Springer Nature ,1984
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- Higher-Order LogicPublished by Springer Nature ,1983
- The Logic of TimePublished by Springer Nature ,1983
- A calculus of individuals based on ``connection''.Notre Dame Journal of Formal Logic, 1981