- Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev, “Modal correspondence theory in the class of all Euclidean frames”, Journal of Logic and Computation, 28, no. 1, 2018, 119
- M. Zakharyaschev, F. Wolter, A. Chagrov, Handbook of Philosophical Logic, 2001, 83
- Philippe Balbiani, Tinko Tinchev, “Undecidable problems for modal definability: Table 1.”, J Logic Computation, 2016, exv094
- D. T. Georgiev, “Definability in the class of all -frames – computability and complexity”, Journal of Applied Non-Classical Logics, 27, no. 1-2, 2017, 1
- Philippe Balbiani, Tinko Tinchev, 13206, Language, Logic, and Computation, 2022, 214