Follow
Tinko Tinchev
Tinko Tinchev
Professor at Faculty of Mathematics and Informatics, Sofia University
Verified email at fmi.uni-sofia.bg
Title
Cited by
Cited by
Year
An essay in combinatory dynamic logic
S Passy, T Tinchev
Information and computation 93 (2), 263-332, 1991
2101991
Modal Environment for Boolean Speculations: preliminary report
G Gargov, S Passy, T Tinchev
Mathematical logic and its applications, 253-263, 1987
1671987
Modal logics for region-based theories of space
P Balbiani, T Tinchev, D Vakarelov
Fundamenta Informaticae 81 (1-3), 29-82, 2007
752007
PDL with data constants
S Passy, T Tinchev
Information Processing Letters 20 (1), 35-41, 1985
731985
Quantifiers in combinatory PDL: completeness, definability, incompleteness
S Passy, T Tinchev
Fundamentals of Computation Theory: FCT'85 Cottbus, GDR, September 9–13…, 2005
482005
Modal logics for incidence geometries
P Balbiani, LFDEL CERRO, T Tinchev, D Vakarelov
Journal of Logic and Computation 7 (1), 59-78, 1997
371997
Bulgarian Wordnet–structure and validation
S Koeva, S Mihov, T Tinchev
Romanian Journal of Information Science and Technology 7 (1-2), 61-78, 2004
352004
Unification in modal logic Alt1
P Balbiani, T Tinchev
College Publications, 2016
152016
Logics of Space with Connectedness Predicates: Complete Axiomatizations.
T Tinchev, D Vakarelov
Advances in Modal Logic 8, 434-453, 2010
152010
About the unification type of
P Balbiani, Gencer, M Rostamigiv, T Tinchev
Annals of Mathematics and Artificial Intelligence 90 (5), 481-497, 2022
132022
Definability and computability for PRSPDL
P Balbiani, T Tinchev
10th conference on Advances in Modal logic (AiML 2014) 10, 16-33, 2014
132014
Large vocabulary continuous speech recognition for Bulgarian
P Mitankin, S Mihov, T Tinchev
Proceedings of the International Conference RANLP-2009, 246-250, 2009
132009
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
122007
Elementary unification in modal logic KD45
P Balbiani, T Tinchev
The IfCoLog Journal of Logics and their Applications 5 (1), 301-317, 2018
102018
Definability over the class of all partitions
P Balbiani, T Tinchev
Journal of Logic and Computation 16 (5), 541-557, 2006
102006
Line-based affine reasoning in Euclidean plane
P Balbiani, T Tinchev
Journal of Applied Logic 5 (3), 421-434, 2007
92007
Undecidable problems for modal definability
P Balbiani, T Tinchev
Journal of Logic and Computation 27 (3), 901-920, 2017
82017
Modal environment for Boolean speculations, Mathematical logic and its applications (D. Skordev, editor)
G Gargov, S Passy, T Tinchev
Plenum Press, New York, 1987
81987
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
72020
Boolean logics with relations
P Balbiani, T Tinchev
The Journal of Logic and Algebraic Programming 79 (8), 707-721, 2010
72010
The system can't perform the operation now. Try again later.
Articles 1–20