Modal definability in Euclidean modal logics

Philippe Balbiani, Tinko Tinchev

This paper is about the computability of the modal definability problem in classes of frames determined by Euclidean modal logics. We characterize those Euclidean modal logics such…