Geometrical structures and modal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1085, Issue , 1996, Pages 43-57

  Balbiani, Philippe ^a   del Cerro, Luis Fariñas ^b   Tinchev, Tinko ^c   Vakarelov, Dimiter ^d  

^a UNIVERSITÉ PARIS 13   (France)

^b UNIVERSITÉ PAUL SABATIER   (France)

^c Sofia University ^*

^d UNIVERSITY OF SOFIA   (Bulgaria)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; GEOMETRY; SEMANTICS;

GEOMETRICAL STRUCTURE; KRIPKE SEMANTICS; MATHEMATICAL STRUCTURE; NATURAL LANGUAGES; ORTHOGONAL STRUCTURES; PROJECTIVE STRUCTURE; RELATIONAL STRUCTURES; TERNARY RELATIONS;

COMPUTER CIRCUITS;

EID: 0010057736     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61313-7_62     Document Type: Conference Paper

References (13)

1. P. Balbiani, V. Dugat, L. Fariñas del Cerro and A. Lopez. Eléments de géométrie mécanique. Hermès, 1994.
2. P. Balbiani, L. Fariñas del Cerro, T. Tinchev and D. Vakarelov. Modal logics for incidence geometries. Journal of Logic and Computation, to appear.
3. J. van Benthem. The Logic of Time. Reidel, 1983.
4. D. Gabbay. An irreflexivity lemma with applications to axiomatizations of conditions on tense frames. U. Mönnich (editor), Aspects of Philosophical Logic. 67-89, Reidel, 1981.
5. D. Gabbay, I. Hodkinson and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Volume I, Oxford University Press, 1994.
6. R. Goldblatt. Orthogonality and Spacetime Geometry. Springer-Verlag, 1987.
7. Heyting. Axiomatic Projective Geometries. North-Holland, 1963.
8. D. Hilbert. Foundations of Geometry. Second english edition, Open Court, 1971.
9. G. Hughes and M. Cresswell. A Companion to Modal Logic. Methuen, 1984.
10. M. de Rijke. The modal logic of inequality. Journal of Symbolic Logic, Volume 57, Number 2, 566-584, 1992.
11. L. Szczerba and A. Tarski. Metamathematical properties of some affine geometries. Y. Bar-Hillel (editor), Logic, Methodology and Philosophy of Science. 166-178, North-Holland, 1972.
12. D. Vakarelov. A modal theory of arrows. Arrow logics I. D. Pearce and G. Wagner (editors), Logics in AI, European Workshop JELIA '92, Berlin, Germany, September 1992, Proceedings. Lecture Notes in Artificial Intelligence 633, 1-24, SpringerVerlag, 1992.
13. D. Vakarelov. Many-dimensional arrow structures. Arrow logics II. Journal of Applied Non-Classical Logics, to appear.