Tinko Tinchev

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 11

Top Topics

Inference Rules

Cardinal Directions

Equivalence Relation

Top Venues

J. Log. Comput.

Advances in Modal Logic

Fundam. Informaticae

Publications

Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
Remarks about the unification types of some locally tabular normal modal logics. Log. J. IGPL 31 (1) (2023)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of $\mathbf {K}+\square \square \bot $. Ann. Math. Artif. Intell. 90 (5) (2022)
Yana Rumenova, Tinko Tinchev
Modal Definability: Two Commuting Equivalence Relations. Logica Universalis 16 (1-2) (2022)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification types of the modal logics determined by classes of deterministic frames. CoRR (2020)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of K+☐☐⊥. UNIF (2020)
Philippe Balbiani, Tinko Tinchev
Decidable and Undecidable Problems for First-Order Definability and Modal Definability. TbiLLC (2019)
Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev
Modal correspondence theory in the class of all Euclidean frames. J. Log. Comput. 28 (1) (2018)
Philippe Balbiani, Tinko Tinchev
Elementary Unification in Modal Logic KD45. FLAP 5 (1) (2018)
Ivo Düntsch, Ewa Orlowska, Tinko Tinchev
Mixed algebras and their logics. J. Appl. Non Class. Logics 27 (3-4) (2017)
Philippe Balbiani, Tinko Tinchev
Undecidable problems for modal definability. J. Log. Comput. 27 (3) (2017)
Philippe Balbiani, Tinko Tinchev
. Advances in Modal Logic (2016)
Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev
Flexible Noisy Text Correction. Document Analysis Systems (2014)
Philippe Balbiani, Tinko Tinchev
Definability and Computability for PRSPDL. Advances in Modal Logic (2014)
Philippe Balbiani, Tinko Tinchev
Unification in the normal modal logic Alt1. UNIF (2014)
Philippe Balbiani, Tinko Tinchev
Definability and Canonicity for Boolean Logic with a Binary Relation. Fundam. Informaticae 129 (4) (2014)
Philippe Balbiani, Tinko Tinchev
Boolean logics with relations. J. Log. Algebraic Methods Program. 79 (8) (2010)
Tinko Tinchev, Dimiter Vakarelov
Logics of Space with Connectedness Predicates: Complete Axiomatizations. Advances in Modal Logic (2010)
Petar Mitankin, Stoyan Mihov, Tinko Tinchev
Large Vocabulary Continuous Speech Recognition for Bulgarian. RANLP (2009)
Philippe Balbiani, Tinko Tinchev
Boolean Logics with Relations. RelMiCS (2008)
G. Georgiev, Tinko Tinchev
Second-order logic on equivalence relations. J. Appl. Non Class. Logics 18 (2-3) (2008)
Philippe Balbiani, Tinko Tinchev
Line-based affine reasoning in Euclidean plane. J. Appl. Log. 5 (3) (2007)
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Modal Logics for Region-based Theories of Space. Fundam. Informaticae 81 (1-3) (2007)
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Dynamic logics of the region-based theory of discrete spaces. J. Appl. Non Class. Logics 17 (1) (2007)
Philippe Balbiani, Tinko Tinchev
Definability Over the Class of all Partitions. J. Log. Comput. 16 (5) (2006)
Philippe Balbiani, Tinko Tinchev
Line-Based Affine Reasoning in Euclidean Plane. JELIA (2004)
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Modal Logics for Incidence Geometries. J. Log. Comput. 7 (1) (1997)
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Geometrical Structures and Modal Logic. FAPR (1996)
Solomon Passay, Tinko Tinchev
An Essay in Combinatory Dynamic Logic Inf. Comput. 93 (2) (1991)
Solomon Passy, Tinko Tinchev
Quantifiers in combinatory PDL: completeness, definability, incompleteness. FCT (1985)
Solomon Passy, Tinko Tinchev
PDL with Data Constants. Inf. Process. Lett. 20 (1) (1985)
Tinko Tinchev, Dimiter Vakarelov
Propositional dynamic logics with counters and stacks. Symposium on Computation Theory (1984)