, P. Balbiani , LF. Del Cerro 1 and T. Tinchev 3 D. Vakarelov 3 , 1Institut de recherche en informatique de Toulouse, Universite Paul Sabatier, 118 route de Narbonne, F-31062 ToulouseCedex, France and 2Laboratoire d'informatique de Paris-Nord, Institut Galilee, Universite Paris-Nord, Avenue Jean-Baptiste Clement, F-93430 Villetaneuse, France 3Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and Informatics, Sofia University, Boul. James Boucher 5, 1126 Sofia, Bulgaria
Incidence geometry is based on two-sorted structures consisting of 'point' and 'lines' together with an intersort binary relation called incidence. We introduce an equivalent one-sorted geometrical structure, called incidence frame, which is suitable for modal considerations. Incidence frames constitute the semantical basis of MIG, the modal logic of incidence geometry. A completeness theorem for MIG is proved: a modal formula is a theorem of MIG if and only if it is valid in all incidence frames. Extensions to projective and affine geometries are also considered.
: incidence geometry, modal logic, irreflexivity, rule.
Part of the OUP Journal of Logic and Computation WWW service
Click here to register with OUP.
This page is maintained by OUP admin
Last updated 25 Jan 97
Part of the OUP Journals World Wide Web service.
Copyright Oxford University Press, 1997