| An essay in combinatory dynamic logic S Passy, T Tinchev Information and computation 93 (2), 263-332, 1991 | 210 | 1991 |
| Modal Environment for Boolean Speculations: preliminary report G Gargov, S Passy, T Tinchev Mathematical logic and its applications, 253-263, 1987 | 167 | 1987 |
| Modal logics for region-based theories of space P Balbiani, T Tinchev, D Vakarelov Fundamenta Informaticae 81 (1-3), 29-82, 2007 | 75 | 2007 |
| PDL with data constants S Passy, T Tinchev Information Processing Letters 20 (1), 35-41, 1985 | 73 | 1985 |
| Quantifiers in combinatory PDL: completeness, definability, incompleteness S Passy, T Tinchev Fundamentals of Computation Theory: FCT'85 Cottbus, GDR, September 9–13 …, 2005 | 48 | 2005 |
| Modal logics for incidence geometries P Balbiani, LFDEL CERRO, T Tinchev, D Vakarelov Journal of Logic and Computation 7 (1), 59-78, 1997 | 37 | 1997 |
| Bulgarian Wordnet–structure and validation S Koeva, S Mihov, T Tinchev Romanian Journal of Information Science and Technology 7 (1-2), 61-78, 2004 | 35 | 2004 |
| Unification in modal logic Alt1 P Balbiani, T Tinchev College Publications, 2016 | 15 | 2016 |
| Logics of Space with Connectedness Predicates: Complete Axiomatizations. T Tinchev, D Vakarelov Advances in Modal Logic 8, 434-453, 2010 | 15 | 2010 |
| About the unification type of P Balbiani, Ç Gencer, M Rostamigiv, T Tinchev Annals of Mathematics and Artificial Intelligence 90 (5), 481-497, 2022 | 13 | 2022 |
| Definability and computability for PRSPDL P Balbiani, T Tinchev 10th conference on Advances in Modal logic (AiML 2014) 10, 16-33, 2014 | 13 | 2014 |
| Large vocabulary continuous speech recognition for Bulgarian P Mitankin, S Mihov, T Tinchev Proceedings of the International Conference RANLP-2009, 246-250, 2009 | 13 | 2009 |
| Dynamic logics of the region-based theory of discrete spaces P Balbiani, T Tinchev, D Vakarelov Journal of Applied Non-Classical Logics 17 (1), 39-61, 2007 | 12 | 2007 |
| Elementary unification in modal logic KD45 P Balbiani, T Tinchev The IfCoLog Journal of Logics and their Applications 5 (1), 301-317, 2018 | 10 | 2018 |
| Definability over the class of all partitions P Balbiani, T Tinchev Journal of Logic and Computation 16 (5), 541-557, 2006 | 10 | 2006 |
| Line-based affine reasoning in Euclidean plane P Balbiani, T Tinchev Journal of Applied Logic 5 (3), 421-434, 2007 | 9 | 2007 |
| Undecidable problems for modal definability P Balbiani, T Tinchev Journal of Logic and Computation 27 (3), 901-920, 2017 | 8 | 2017 |
| Modal environment for Boolean speculations, Mathematical logic and its applications (D. Skordev, editor) G Gargov, S Passy, T Tinchev Plenum Press, New York, 1987 | 8 | 1987 |
| About the unification types of the modal logics determined by classes of deterministic frames P Balbiani, Ç Gencer, M Rostamigiv, T Tinchev arXiv preprint arXiv:2004.07904, 2020 | 7 | 2020 |
| Boolean logics with relations P Balbiani, T Tinchev The Journal of Logic and Algebraic Programming 79 (8), 707-721, 2010 | 7 | 2010 |
