Author:
Balbiani Philippe,Tinchev Tinko
Publisher
Springer International Publishing
Reference30 articles.
1. Balbiani, P., Georgiev, D., Tinchev, T.: Modal correspondence theory in the class of all Euclidean frames. J. Log. Comput. 28, 119–131 (2018)
2. Balbiani, P., Tinchev, T.: Definability over the class of all partitions. J. Log. Comput. 16, 541–557 (2006)
3. Balbiani, P., Tinchev, T.: Undecidable problems for modal definability. J. Log. Comput. 27, 901–920 (2017)
4. Van Benthem, J.: A note on modal formulas and relational properties. J. Symb. Log. 40, 85–88 (1975)
5. Van Benthem, J.: Modal Logic and Classical Logic. Bibliopolis (1983)