Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02365658
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Friday, November 15, 2019 - 2:42:56 PM
Last modification on : Sunday, June 14, 2020 - 3:28:34 AM
Document(s) archivé(s) le : Sunday, February 16, 2020 - 5:15:09 PM

File

balbiani_22119.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02365658, version 1
  • OATAO : 22119

Citation

Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev. Modal correspondence theory in the class of all Euclidean frames. Journal of Logic and Computation, Oxford University Press (OUP), 2017, 28 (1), pp.119-131. ⟨hal-02365658⟩

Share

Metrics

Record views

39

Files downloads

94