Modal logics for incidence geometries

Journal of Logic and Computation

Volumn 7, Issue 1, 1997, Pages 59-78

  Balbiani, Philippe ^a,b   Farinas Del Cerro, Luis ^a   Tinchev, Tinko ^c   Vakarelov, Dimiter ^c  

^a IRIT   (France)

^b Laboratoire d'Informatique de Paris Nord Villetaneuse   (France)

^c UNIVERSITY OF SOFIA   (Bulgaria)

Author keywords

Incidence geometry; Irreflexivity rule; Modal logic

Indexed keywords

EID: 0011041088     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/7.1.59     Document Type: Article

References (29)

1. P. Balbiani, V. Dugat, L. Farinas del Cerro and A. Lopez. Eléments de Géométrie Mécanique. Hermès, 1994.
2. J. van Benthem. The Logic of Time. Reidel, 1983.
3. H. Bestougeff and G. Ligozat. Outils Logiques pour le Traitement du Temps. Massen, 1989.
4. L. Blumenthal. A Modern View of Geometry. Dover.
5. A. Cohn, Z. Cui and D. Randell. Taxonomies of logical defined qualitative spatial rules. In Formal Ontology in Conceptual Analysis and Knowledge, N. Guarins and R. Poli, eds. Kluwer, to appear.
6. H. Coxeter. Projective Geometry. Blaisdell, 1964.
7. D. Gabbay. An irreflexivity lemma with applications to axiomatizations of conditions on tense frames. In Aspects of Philosophical Logic, U. Mönnich, ed. pp. 67-89. Reidel, 1981.
8. D. Gabbay and I. Hodkinson. An axiomatization of the temporal logic with until and since over the real numbers. Journal of Logic and Computation, 1, 229-259, 1990.
9. D. Gabbay, I. Hodkinson and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects, Vol. I. Oxford University Press, 1995.
10. A. Galton. Towards an integrated logic of space, time and motion. In IJCAI 93, 13th International Joint Conference on Artificial Intelligence, Chambéry, 28 August-3 September 1993, R. Bajcsy, ed. pp. 1550-1555. Morgan Kaufmann, 1993.
11. O. Gerassimov. A Modal Logic for 3-Dimensional Incidence Geometry. Master thesis, Sofia University, 1995, in Bulgarian.
12. R. Goldblatt. Topoï, The Categorial Analysis of Logic. North-Holland, Amsterdam, 1979.
13. R. Goldblatt. Axiomatizing the Logic of Computer Programming. Vol. 130 of Lecture Notes in Computer Science, Springer-Verlag, 1982.
14. R. Goldblatt. Logics of Time and Computation. Lecture Notes Number 7, Center for the Study of Language and Information, 1987.
15. R. Goldblatt. Orthogonality and Spacetime Geometry. Springer-Verlag, 1987.
16. A. Heyting. Axiomatic Projective Geometry. North-Holland, 1963.
17. D. Hubert. Les Fondements de la Géométrie. Dunod, Paris, 1971.
18. G. Hughes and M. Cresswell. A Companion to Modal Logic. Methuen, London, 1984.
19. T. Lozeno-Perez. Spatial planning, a configuration of space approach. IEEE Translations Computer, C-32, 108-120, 1983.
20. M. de Rijke. The modal logic of inequality. Journal of Symbolic Logic, 57, 566-584, 1992.
21. H. Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logic. In Proceedings of the Third Scandinavian Logic Symposium, Uppsala, Sweden, 1973, S. Kanger, ed. pp. 110-143. North-Holland, Amsterdam, 1975.
22. L. Szczerba and A. Tarski. Metamathematical properties of some affine geometries. In Logic, Methodology and Philosophy of Science, Y. Bar-Hillel, ed. pp. 166-178. North-Holland, 1972.
23. A. Tarski. What is elementary geometry? In The Axiomatic Method, with Special Reference to Geometry and Physics, L. Henkin, P. Suppes and A. Tarski, eds. pp. 16-29. North-Holland, Amsterdam, 1959.
24. D. Vakarelov. A modal theory of arrows. In Proceedings of the Logics in AI, European Workshop JEUA'92, Berlin, Germany, September 1992, D. Pearce and G. Wagner, eds. pp. 1-24. Vol. 633 of Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 1992.
25. I. Venema. Modal derivation rules. ITLI prepublications series for mathematical logic and foundations ML-91-07. University of Amsterdam, Amsterdam, 1991.
26. I. Venema. Many dimensional modal logic. Doctoral dissertation. University of Amsterdam, Amsterdam, 1992.
27. I. Venema. Derivation rules as anti-axioms in modal logic. Journal of Symbolic Logic, 58, 1003-1034, 1993.
28. D. Waltz. Understanding and generation of scene descriptions. In Elements of Discourse Understanding, A. Joshi, B.Webberand I. Sag, eds. pp. 266-281. Cambridge University Press, 1987.
29. G. von Wright. A modal logic of space. In The Philosophy of Nicholas Rescher, F. Sosa, ed. Reidel, Dordrecht, 1979.