Följ
Tinko Tinchev
Tinko Tinchev
Professor at Faculty of Mathematics and Informatics, Sofia University
Verifierad e-postadress på fmi.uni-sofia.bg
Titel
Citeras av
Citeras av
År
An essay in combinatory dynamic logic
S Passy, T Tinchev
Information and computation 93 (2), 263-332, 1991
2191991
Modal Environment for Boolean Speculations: preliminary report
G Gargov, S Passy, T Tinchev
Mathematical logic and its applications, 253-263, 1987
1771987
Modal logics for region-based theories of space
P Balbiani, T Tinchev, D Vakarelov
Fundamenta Informaticae 81 (1-3), 29-82, 2007
782007
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
International Conference on Fundamentals of Computation Theory, 512-519, 1985
491985
Bulgarian wordnet–structure and validation
S Koeva, S Mihov, T Tinchev
Romanian Journal of Information Science and Technology 7 (1-2), 61-78, 2004
372004
Modal logics for incidence geometries
P Balbiani, LFDEL CERRO, T Tinchev, D Vakarelov
Journal of Logic and Computation 7 (1), 59-78, 1997
361997
Unification in modal logic Alt1
P Balbiani, T Tinchev
College Publications, 2016
172016
Definability and computability for PRSPDL
P Balbiani, T Tinchev
10th conference on Advances in Modal logic (AiML 2014) 10, 16-33, 2014
152014
Large vocabulary continuous speech recognition for Bulgarian
P Mitankin, S Mihov, T Tinchev
Proceedings of the International Conference RANLP-2009, 246-250, 2009
152009
About the unification type of
P Balbiani, Ç Gencer, M Rostamigiv, T Tinchev
Annals of Mathematics and Artificial Intelligence 90 (5), 481-497, 2022
142022
Logics of Space with Connectedness Predicates: Complete Axiomatizations.
T Tinchev, D Vakarelov
Advances in Modal Logic 8, 434-453, 2010
142010
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
132007
Elementary unification in modal logic KD45
P Balbiani, T Tinchev
The IfCoLog Journal of Logics and their Applications 5 (1), 301-317, 2018
112018
Definability over the class of all partitions
P Balbiani, T Tinchev
Journal of Logic and Computation 16 (5), 541-557, 2006
112006
Undecidable problems for modal definability
P Balbiani, T Tinchev
Journal of Logic and Computation 27 (3), 901-920, 2017
102017
Line-based affine reasoning in Euclidean plane
P Balbiani, T Tinchev
Journal of Applied Logic 5 (3), 421-434, 2007
92007
Modal environment for Boolean speculations, Mathematical logic and its applications (D. Skordev, editor)
G Gargov, S Passy, T Tinchev
Plenum Press, New York, 1987
91987
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20