Bibtex de la publication

@Article{ Ba2017.19,
author = {Balbiani, Philippe and Georgiev, Dimiter and Tinchev, Tinko},
title = "{Modal correspondence theory in the class of all Euclidean frames}",
journal = {Journal of Logic and Computation},
publisher = {Oxford University Press},
address = {http://www.oup.com/},
year = {2017},
to_appear = {to appear},
language = {anglais},
keywords = {Modal logic,modal definability, first-order definability, computability.},
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.}
}