Modal correspondence theory in the class of all Euclidean frames - Archive ouverte HAL Access content directly
Journal Articles Journal of Logic and Computation Year : 2017

Modal correspondence theory in the class of all Euclidean frames

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
23 View
222 Download

Altmetric

Share

Gmail Facebook X LinkedIn More