Modal correspondence theory in the class of all Euclidean frames - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2017

Modal correspondence theory in the class of all Euclidean frames

Résumé

The core of this paper is the modal correspondence theory in the class of all Euclidean frames. It shows that with respect to the class of all Euclidean frames, every modal formula is first-order definable and the problem of deciding the modal definability of sentences is undecidable.
Fichier principal
Vignette du fichier
balbiani_22119.pdf (445.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02365658 , version 1 (15-11-2019)

Identifiants

Citer

Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev. Modal correspondence theory in the class of all Euclidean frames. Journal of Logic and Computation, 2017, 28 (1), pp.119-131. ⟨10.1093/logcom/exx033⟩. ⟨hal-02365658⟩
45 Consultations
254 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More