1. Balbiani, Ph., Tinchev, T.: Decidability and complexity of definability within the class of all partitions. In: Proceedings of the 5th Panhellenic Logic Symposium, July 25-28, 2005, Athens, Greece, p. 26–33.
2. Balbiani, Ph., Tinchev, T.: Undecidable problems for modal definability. J. Logic Comput. 27(3), 901–920 (2017)
3. Oxford Logic Guides;A Chagrov,1997
4. Ebbinghaus, H., Flum, J.: Finite Model Theory. Springer-Verlag, Berlin Heidelberg (1995)
5. Ershov, Yu.L.: Problems of decidability and constructive models (in Russian). Nauka, Moscow (1980)