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
2131991
Modal environment for Boolean speculations
G Gargov, S Passy, T Tinchev
Mathematical logic and its applications, 253-263, 1987
1551987
PDL with data constants
S Passy, T Tinchev
Information Processing Letters 20 (1), 35-41, 1985
741985
Modal logics for region-based theories of space
P Balbiani, T Tinchev, D Vakarelov
Fundamenta Informaticae 81 (1-3), 29-82, 2007
692007
Quantifiers in combinatory PDL: completeness, definability, incompleteness
S Passy, T Tinchev
International Conference on Fundamentals of Computation Theory, 512-519, 1985
501985
Modal logics for incidence geometries
P Balbiani, LFDEL CERRO, T Tinchev, D Vakarelov
Journal of Logic and Computation 7 (1), 59-78, 1997
341997
Bulgarian Wordnet–structure and validation
S Koeva, S Mihov, T Tinchev
Romanian Journal of Information Science and Technology 7 (1-2), 61-78, 2004
332004
Definability and computability for PRSPDL
P Balbiani, T Tinchev
10th conference on Advances in Modal logic (AiML 2014), pp. 16-33, 2014
152014
Unification in modal logic Alt1
P Balbiani, T Tinchev
College Publications, 2016
142016
Logics of Space with Connectedness Predicates: Complete Axiomatizations.
T Tinchev, D Vakarelov
Advances in Modal Logic 8, 434-453, 2010
142010
Large vocabulary continuous speech recognition for Bulgarian
P Mitankin, S Mihov, T Tinchev
Proceedings of the International Conference RANLP-2009, 246-250, 2009
112009
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
112007
Mathematical logic and its applications
DG Skordev
Springer Science & Business Media, 2012
102012
Line-based affine reasoning in Euclidean plane
P Balbiani, T Tinchev
Journal of Applied Logic 5 (3), 421-434, 2007
92007
Definability over the class of all partitions
P Balbiani, T Tinchev
Journal of Logic and Computation 16 (5), 541-557, 2006
92006
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
Elementary unification in modal logic KD45
P Balbiani, T Tinchev
The IfCoLog Journal of Logics and their Applications 5 (1), 301-317, 2018
72018
Undecidable problems for modal definability
P Balbiani, T Tinchev
Journal of Logic and Computation 27 (3), 901-920, 2017
72017
Geometrical structures and modal logic
P Balbiani, LF del Cerro, T Tinchev, D Vakarelov
International Conference on Formal and Applied Practical Reasoning, 43-57, 1996
71996
Combinatory dynamic logic
SI Passy, T Tinchev
Inf. and Control, 1984
71984
The system can't perform the operation now. Try again later.
Articles 1–20