An expressive two-sorted spatial logic for plane projective geometry
Résumé
The aim of this paper is to introduce an expressive two-sorted spatial logic for plane projective geometry. We firstly attack the problem of the definability of multifarious classes of incidence frames and the problem of the reductions between several sublanguages of our language. We secondly attack the problem of the axiomatization of the logics of some natural classes of incidence frames.