An expressive two-sorted spatial logic for plane projective geometry - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

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.
Fichier non déposé

Dates et versions

hal-04002021 , version 1 (23-02-2023)

Identifiants

  • HAL Id : hal-04002021 , version 1

Citer

Philippe Balbiani. An expressive two-sorted spatial logic for plane projective geometry. 6th Conference on Advances in Modal Logic (AiML 2006), Sep 2006, Noosavile, Queensland, Australia. pp.49--68. ⟨hal-04002021⟩
8 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More