An essay in combinatory dynamic logic S Passy, T Tinchev
Information and computation 93 (2), 263-332, 1991
221 1991 Modal Environment for Boolean Speculations: preliminary report G Gargov, S Passy, T Tinchev
Mathematical logic and its applications, 253-263, 1987
177 1987 Modal logics for region-based theories of space P Balbiani, T Tinchev, D Vakarelov
Fundamenta Informaticae 81 (1-3), 29-82, 2007
79 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
International Conference on Fundamentals of Computation Theory, 512-519, 1985
50 1985 Bulgarian wordnet–structure and validation S Koeva, S Mihov, T Tinchev
Romanian Journal of Information Science and Technology 7 (1-2), 61-78, 2004
37 2004 Modal logics for incidence geometries P Balbiani, LFDEL CERRO, T Tinchev, D Vakarelov
Journal of Logic and Computation 7 (1), 59-78, 1997
36 1997 Unification in modal logic Alt1 P Balbiani, T Tinchev
College Publications, 2016
17 2016 Large vocabulary continuous speech recognition for Bulgarian P Mitankin, S Mihov, T Tinchev
Proceedings of the International Conference RANLP-2009, 246-250, 2009
16 2009 Definability and computability for PRSPDL P Balbiani, T Tinchev
10th conference on Advances in Modal logic (AiML 2014) 10, 16-33, 2014
15 2014 About the unification type of P Balbiani, Ç Gencer, M Rostamigiv, T Tinchev
Annals of Mathematics and Artificial Intelligence 90 (5), 481-497, 2022
14 2022 Logics of Space with Connectedness Predicates: Complete Axiomatizations. T Tinchev, D Vakarelov
Advances in Modal Logic 8, 434-453, 2010
14 2010 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
14 2007 Elementary unification in modal logic KD45 P Balbiani, T Tinchev
The IfCoLog Journal of Logics and their Applications 5 (1), 301-317, 2018
11 2018 Definability over the class of all partitions P Balbiani, T Tinchev
Journal of Logic and Computation 16 (5), 541-557, 2006
11 2006 Undecidable problems for modal definability P Balbiani, T Tinchev
Journal of Logic and Computation 27 (3), 901-920, 2017
10 2017 Line-based affine reasoning in Euclidean plane P Balbiani, T Tinchev
Journal of Applied Logic 5 (3), 421-434, 2007
9 2007 Modal environment for Boolean speculations, Mathematical logic and its applications (D. Skordev, editor) G Gargov, S Passy, T Tinchev
Plenum Press, New York, 1987
9 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