| Дипломна работа |
|
|
Тинко Величков Тинчев, Релевантни системи, Софийски унивеситет "Св. Климент Охридски", ФММ, Ръководител:Димитър Вакарелов
|
1980
|
| Дисертация д-р |
|
|
Тинко Величков Тинчев, Разширения на съждителната динамична логика, Софийски университет "Св. Климент Охридски", ФМИ, Ръководител:Димитър Скордев
|
1986
|
| Друго (научно-популярни и др. под.) |
|
1
|
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev, About the unification types of the modal logics determined by classes of deterministic frame, arXiv:2004.07904v1
|
2020
|
|
2
|
Tsvetlin Marinov, Tinko Tinchev, A Logic of Strong Contact between Polytopes, arXiv:1802.08187v1
|
2018
|
|
3
|
Tinko Tinchev, Mitko Yanchev, Generalized Graded Modal Logic: tree-like models, axiomatization and decidability, The Bulletin of Symbolic Logic, vol. 17, No. 2, 320-320,
|
2011
|
|
4
|
Philippe Balbiani, Tinko Tinchev, Complete axiomatizations of
modal logics for region-based theories of space, The Bulletin of Symbolic Logic, , vol. 16, no 1, 103-104 ,
|
2010
|
|
5
|
Tinko Tinchev, Universal fragments of some region-based theories of space, The Bulletin of Symbolic Logic, Vol. 16, No. 1, p. 133.,
|
2010
|
|
6
|
Georgi Georgiev, Tinko Tinchev, Monadic second order logic on
equivalence relations, The Bulletin of Symbolic Logic, vol. 13, no 11,
|
2007
|
|
7
|
Philippe Balbiani, Tinko Tinchev, Euclidean Geometry with Lines Alone. In: Proceedings of Logic Colloquium 2005, July 28 - August 3, 2005, Athens, Greece, p. 47,
|
2005
|
|
8
|
Tinko Tinchev, Intersection and Graded Modalities, The Bulletin of Symbolic Logic, vol. 1, No. 2, 263-264; Logic Colloquium 1994,
|
1995
|
| Научен проект |
|
1
|
Тинко Тинчев, Термални езици за онтологии, Член, ФНИ на МОН, Номер на договора:КП-06-РИЛА/4 от 15.12.2021 г.
|
2022
|
|
2
|
Тинко Тинчев, Пространство, време и модалност: релационни, алгебрични и топологични модели, Ръководител, ФНИ на МОН, Номер на договора:ДН02/15/19.12.2016 г.
|
2016
|
|
3
|
Тинко Тинчев, Подобрена система за извод в приложни некласически логики, базирана на семантични таблици
(Enhanced tableaux-based reasoning in applied non-classical logics), Ръководител, , Номер на договора:ДРИЛА01/2/16.04.2015 год.
|
2015
|
|
4
|
Тинко Тинчев, Интегриране на нови практики и знания в обучението по компютърна лингвистика, Член, ОП "Развитие на човешките ресурси", ГД "Структурни фондове и международни образователни програми" към МОМН, Номер на договора:BG051PO001-3.3.06-0022
|
2012
|
|
5
|
Тинко Тинчев, CULTURA - CULTivating Understanding and Research through Adaptivity, Ръководител, ЕК, 7-ма рамкова програма, Номер на договора:FP7, No. 269973
|
2011
|
|
6
|
Тинко Тинчев, Определимост и алгоритмични проблеми: класове от структури за модални и предикатни езици, кардинални характеристики, близости, Ръководител, ФНИ на СУ "Св. Климент Охридски", Номер на договора:92/2011
|
2011
|
|
7
|
Тинко Тинчев, Определимост и алгоритмични проблеми: класове от структури за модални и предикатни езици, кардинални характеристики, близости , Ръководител, ФНИ на СУ "Св. Климент Охридски", Номер на договора:136/2010
|
2010
|
|
8
|
Тинко Тинчев, Алгоритмични проблеми за монадична от втори ред, модална и предикатна определимости. Приложения към логики за региони и близост , Ръководител, ФНИ на СУ "Св. Климент Охридски", Номер на договора:063/2009
|
2009
|
|
9
|
Тинко Тинчев, Математическа логика и компютърна лингвистика: развитие и взаимно проникване, Ръководител, ОП "Развитие на човешките ресурси", ГД "Структурни фондове и международни образователни програми" към МОМН, Номер на договора:BG051PO001-3.3.04/27/28.08.2009
|
2009
|
|
10
|
Тинко Тинчев, Теории за пространството и времето: алгебрически, топологически и логически подходи, Ръководител, Фонд "Научни изследвания", конкурс "ИДЕИ", Номер на договора:ДИД02/32 от 17.12.2009
|
2009
|
|
11
|
Тинко Тинчев, Алгоритмични проблеми за монадична от втори ред, модална и предикатни определимости. Кардинални характеристики, Ръководител, ФНИ на СУ "Св. Климент Охридски", Номер на договора:128/2008
|
2008
|
|
12
|
Тинко Тинчев, Модална и предикатна определимости върху класове от структури. Кардинални характеристики, Ръководител, ФНИ на СУ "Св. Климент Охридски", Номер на договора:36/2007
|
2007
|
|
13
|
Тинко Тинчев, Модална и предикатни определимости за многоразмерни модалности и кардинални характеристики , Ръководител, ФНИ на СУ "Св. Климент Охридски", Номер на договора:27/2006
|
2006
|
|
14
|
Тинко Тинчев, Модална и предикатна определимости, Ръководител, ФНИ на СУ "Св. Климент Охридски", Номер на договора:64/2005
|
2005
|
|
15
|
Тинко Тинчев, Приложни логики и топологични структури, Член, Фонд "Научни изследвания", Номер на договора:МИ-1510/2005
|
2005
|
|
16
|
Тинко Тинчев, Logics of space, Член, Egide, Номер на договора:ECONET 08111TL
|
2004
|
|
17
|
Тинко Тинчев, Приложни модални логики, Член, Фонд "Научни изследвания", Номер на договора:РИЛА 12/ Egide - RILA projet 06288TF
|
2004
|
|
18
|
Тинко Тинчев, O CoRrECT: Cyrillic and Latin OCR
correction using electronic dictionaries and sentence context., Член, Volkswagen Stiftung, Номер на договора:I/77 863
|
2002
|
| Научно ръководство |
|
1
|
Тинко Тинчев, Hyper Separation Logic, СУ "Св. Кл. Охридски", ФМИ, Логика и алгоритми, спец. математика дипломна работа:Траян Танчев Господинов
|
2025
|
|
2
|
Тинко Тинчев, On some elementary theories for
rotation in the line-based Euclidean
plane, СУ "Св. Кл. Охридски", ФМИ, Логика и алгоритми, спец. математика дипломна работа:Люба Венелинова Конова
|
2025
|
|
3
|
Тинко Тинчев, Definability by Propositional Formulas with Intuitionistic
Semantics: Algorithmic Problems, дипломна работа:Григор Василев Колев
|
2023
|
|
4
|
Тинко Тинчев, Web System for Satisfiability of
Quantitative Contact Logics, СУ "Св. Кл.Охридски", ФМИ дипломна работа:Мартин Стоев
|
2023
|
|
5
|
Тинко Тинчев, Web System for Satisfiability
of Connected Contact Logics, СУ "Св.Кл. Охридски", ФМИ дипломна работа:Антон Дудов
|
2023
|
|
6
|
Тинко Тинчев, Разрешимост на някои теории, отнасящи се до квазилинейни наредби, СУ "Св. Кл. Охридски", ФМИ, Логика и алгоритми дипломна работа:Васил Петров Желев
|
2023
|
|
7
|
Тинко Тинчев, Modal definability: two commuting
equivalence relations, дипломна работа:Яна Руменова Георгиева
|
2021
|
|
8
|
Тинко Тинчев, On the axiomatization of contact logics
with measure, дипломна работа:Стоян Василев Градев
|
2021
|
|
9
|
Тинко Тинчев, Logic of Strong Contact between Polytops, дипломна работа:Цветлин Владимиров Маринов
|
2018
|
|
10
|
Тинко Тинчев, Algorithmic Methods for Non-Classical Logics, СУ "Св. Кл. Охридски", ФМИ дисертация д-р:Димитър Тодоров Георгиев
|
2017
|
|
11
|
Тинко Тинчев, Logics of n-ary Contact, СУ "Св. Кл. Охридски", ФМИ дипломна работа:Иван Желязков Николов
|
2017
|
|
12
|
Тинко Тинчев, Satisfiability with Equivalences in Agreement, СУ "Св. Кл. Охридски", ФМИ дипломна работа:Красимир Великов Георгиев
|
2016
|
|
13
|
Тинко Тинчев, Видимост между радарчета, ФМИ дипломна работа:Николай Иванов Белухов
|
2014
|
|
14
|
Тинко Тинчев , Реализация на алгоритъма на Крахт, ФМИ дипломна работа:Димитър Красимиров Димитров
|
2012
|
|
15
|
Тинко Тинчев, Логики за правите в Евклидовата равнина с предикатите пресичане, успоредност и перпендикулярност , ФМИ дипломна работа:Татяна Маринова Иванова
|
2010
|
|
16
|
Тинко Тинчев, Градирана модална логика на сечението, ФМИ дипломна работа:Ирина Димитрова Паунова
|
2007
|
|
17
|
Тинко Тинчев, Модална определимост в клас от структури с две релации на еквивалентност
, ФМИ дипломна работа:Цветан Чавдаров Дунчев
|
2007
|
|
18
|
Тинко Тинчев, Модални оператори за рационално градиране, ФМИ дипломна работа:Митко Видев Янчев
|
2006
|
|
19
|
Тинко Тинчев, Програмна реализация на алгоритъма SQEMA за модална определимост
, ФМИ дипломна работа:Димитър Тодоров Георгиев
|
2006
|
|
20
|
Тинко Тинчев, Релационни структури за WordNet. Модален подход
, ФМИ дипломна работа:Борислав Красимиров Ризов
|
2006
|
|
21
|
Тинко Тинчев, Синтактичен и семантичен анализатор на свободно изписани пощенски адреси, ФМИ дипломна работа:Даниела Василева Славкова
|
2005
|
|
22
|
Тинко Тинчев, Програмна система за изпълнимост и опровержимост за модални логики, ФМИ дипломна работа:Мартин Димитров Бекчиев
|
2004
|
|
23
|
Тинко Тинчев, Игри на Еренфойхт – Фресе, ФМИ дипломна работа:Николай Рангелов Колев
|
2002
|
|
24
|
Тинко Тинчев, Ригерови универсуми, ФМИ дипломна работа:Георги Маринов Георгиев
|
2002
|
|
25
|
Тинко Тинчев, Семантични таблици за концептуални езици, ФМИ дипломна работа:Ани Ненкова Ненкова
|
2000
|
|
26
|
Тинко Тинчев, Градуирани модалности: модалният оператор “има безбройно много”
, ФМИ дипломна работа:Владимир Василев Димитров
|
1999
|
|
27
|
Тинко Тинчев, Характеризация на следващото допустимо множество посредством номерации
, ФМИ дипломна работа:Владимир Стефанов Сосков
|
1997
|
|
28
|
Тинко Тинчев, За една система на Тарски за елементарната геометрия
, ФМИ дипломна работа:Емил Георгиев Николов
|
1996
|
|
29
|
Тинко Тинчев, Модална логика за геометрията на инцидентността, ФМИ дипломна работа:Огнян Стефанов Герасимов
|
1995
|
| Редактор на издание реферирано |
|
|
Тинко Тинчев, Journal of Applied Non-Classical Logics, Редактор на издание реферирано
|
2008
|
| Статия в научно списание |
|
1
|
Tatyana Ivanova, Tinchev, Tinko, The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete, Transactions of the American Mathematical Society, vol:378, issue:2, 2025, pages:1433-1447, ISSN (print):0002-9947, ISSN (online):1088-6850, doi:https://doi.org/10.1090/tran/9302, Ref, Web of Science, IF (1.2 - 2024), Web of Science Quartile: Q1 (2025), SCOPUS, SJR (1.581 - 2023), SCOPUS Quartile: Q1 (2025), MathSciNet
|
2025
|
|
2
|
Philippe Balbiani, Çiğdem Gencer, Maryam Rostamigiv, Tinko Tinchev, Remarks About the Unification Types of Some Locally Tabular Normal Modal Logics, Logic Journal of the IGPL, vol:31, issue:1, 2023, pages:115-139, ISSN (print):1367-0751, ISSN (online):1368-9894, doi:https://doi.org/10.1093/jigpal/jzab033, Ref, Web of Science, IF (1 - 2022), Web of Science Quartile: Q1 (Logic), SCOPUS, SJR (0.379 - 2021), SCOPUS Quartile: Q1 (Philosophy), Zentralblatt, International
|
2023
|
|
3
|
Balbiani, Philippe, Gencer, Cigdem, Rostamigiv, Maryam, Tinchev, Tinko, About the unification type of K plus square square perpendicular to, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol:90, issue:5, 2022, pages:481-497, ISSN (print):1012-2443, ISSN (online):1573-7470, doi:10.1007/s10472-021-09768-w, Ref, IF (1.2 - 2022), Web of Science Quartile: Q3 (Mathematics, Applied), SCOPUS, SJR (0.42 - 2021), SCOPUS Quartile: Q3 (Applied Mathematics), ACM Digital Library(zbMATH, Mathematical Reviews), International
|
2022
|
|
4
|
Yana Rumenova, Tinko Tinchev, Modal Definability: Two Commuting Equivalence Relations, Logica Universalis, vol:16, issue:1-2, 2022, pages:177-194, ISSN (print):1661-8297, ISSN (online):1661-8300, doi:https://doi.org/10.1007/s11787-022-00299-4, Ref, Web of Science, IF (0.8 - 2022), Web of Science Quartile: Q2 (Logic), SCOPUS, SJR (0.28 - 2021), SCOPUS Quartile: Q3 (Logic, Applied Mathematics), Zentralblatt(Mathematical Reviews), PhD
|
2022
|
|
5
|
Philippe Balbiani, Tinko Tinchev, Elementary Unification in Modal Logic KD45, Journal of Applied Logics - IfCoLog Journal of Logics and their Applications, vol:5, issue:1, 2018, pages:301-317, ISSN (print):2055-3706, ISSN (online):2055-3714, ISBN:978-1-84890-274-9, Ref, Web of Science, SCOPUS Quartile: Q1 (Logic), International
|
2018
|
|
6
|
Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev, Modal correspondence theory in
the class of all Euclidean frames, Journal of Logic and Computation, vol:28, issue:1, 2018, pages:119-131, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:https://doi.org/10.1093/logcom/exx033, Ref, Web of Science, SCOPUS Quartile: Q2 (Logic - 2017), International, PhD
|
2018
|
|
7
|
Ivo Duentsch, Ewa Orlowska, Tinko Tinchev, Mixed algebras and their logics
, Journal of Applied Non-Classical Logics, vol:27, issue:3-4, 2017, pages:304-320, ISSN (print):11663081, ISSN (online):19585780, doi:https://doi.org/10.1080/11663081.2018.1442138, Ref, International
|
2017
|
|
8
|
Philippe Balbiani, Tinko Tinchev, Undecidable problems for modal definability, Journal of Logic and Computation, vol:27, issue:3, 2017, pages:901-920, ISSN (print):0955-792X , ISSN (online):1465-363X, doi:https://doi.org/10.1093/logcom/exv094, Ref, Web of Science, SCOPUS Quartile: Q2 (Logic), International
|
2017
|
|
9
|
Philippe Balbiani, Tinko Tinchev, Definability and Canonicity for Boolean Logic with a Binary Relation, Fundamenta Informaticae, vol:129, issue:4, 2014, pages:301-327, ISSN (print):0169-2968 , ISSN (online):1875-8681, doi:10.3233/FI-2014-973, Ref, Web of Science, SCOPUS Quartile: Q3 (Math. Applied; Comp. Science, Software Ing.), International
|
2014
|
|
10
|
Tinko Tinchev, Modal approach to region-based theories of space: canonicity, The Bulletin of Symbolic Logic, vol:20, issue:3, 2014, pages:398-399, Web of Science
|
2014
|
|
11
|
Tinko Tinchev, Mitko Yanchev, Modal operators for rational grading, Годишник на СУ "Св. Климент Охридски", ФМИ, vol:100, 2011, pages:47-66, ISSN (print):0205-0808, Ref, MSc
|
2011
|
|
12
|
Philippe Balbiani, Tinko Tinchev, Boolean Logics with Relations, Journal of Algebraic and Logic Programming, vol:79, issue:8, 2010, pages:707-721, ISSN (print):1567-8326, doi:10.1016/j.jlap.2010.07.012, Ref, Web of Science, SCOPUS Quartile: Q4 (Computer Science, Theory and Methods), International
|
2010
|
|
13
|
Georgi Georgiev, Tinko Tinchev, Monadic Second Order logic on
equivalence relations, Годишник на СУ "Св. Климент Охридски", ФМИ, vol:99, 2009, pages:25-35, ISSN (print):0205-0808, Ref, PhD
|
2009
|
|
14
|
Stoyan Mihov, Tinko Tinchev, Petar Mitankin, The Language Model
Impact upon the Quality of the Speech Recognition System for
Bulgarian (in Bulgarian), Journal of Bulgarian Language, vol:LVI, issue:3, 2009, pages:17-33, Web of Science
|
2009
|
|
15
|
Стоян Михов, Тинко Тинчев, Петър Митанкин, Влиянието на езиковия модел върху качеството на система за разпознаване на българска реч, Български език, vol:LVI(3), 2009, pages:17-33
|
2009
|
|
16
|
Balbiani, P., Tinchev, T., Foreword, Journal of Applied Non-Classical Logics , vol:18, issue:2-3, 2008, pages:135-135, ISSN (print):1166-3081 , ISSN (online): 1958-5780, doi:https://doi.org/10.1080/11663081.2008.9736599, Ref, International
|
2008
|
|
17
|
Georgiev, G., Tinchev, T., Second-order logic on equivalence relations, Journal of Applied Non-Classical Logics , vol:18, issue:2-3, 2008, pages:229-246, ISSN (print):1166-3081 , ISSN (online):1958-5780, doi:https://doi.org/10.3166/jancl.18.229-246, Ref, PhD
|
2008
|
|
18
|
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov, Dynamic logics of the region-based theory of discrete spaces, Journal of Applied Non-Classical Logics, vol:17, issue:1, 2007, pages:39-61, ISSN (print):1166-3081 , ISSN (online):1958-5780, doi:https://doi.org/10.3166/jancl.17.39-61, Ref, IR , SCOPUS, SJR (547 - 2009), International
|
2007
|
|
19
|
Philippe Balbiani, Tinko Tinchev, Line-based affine reasoning in Euclidean plane, Journal of Applied Logic, vol:5, issue:3, 2007, pages:421-434, ISSN (print):1570-8683, doi:https://doi.org/10.1016/j.jal.2006.03.003, Ref, Web of Science, SCOPUS Quartile: Q2 (Logic), International
|
2007
|
|
20
|
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov, Modal Logics for Region-based Theories of Space, Fundamenta Informaticae, vol:81, issue:1-3, 2007, pages:29-82, ISSN (print):0169-2968, Ref, Web of Science, SCOPUS Quartile: Q2 (Mathematics Applied), International
|
2007
|
|
21
|
Philippe Balbiani, Tinko Tinchev, Definability Over the Class of all Partitions, Journal of Logic and Computation, vol:16, issue:5, 2006, pages:541-557, ISSN (print):ISSN 0955-792X , ISSN (online):EISSN 1465-363X, doi:https://doi.org/10.1093/logcom/exl024, Ref, Web of Science, SCOPUS Quartile: Q3 (Computer Science, Theory and Methods), International
|
2006
|
|
22
|
Svetla Koeva, Stoyan Mihov, Tinko Tinchev, Bulgarian Wordnet - Structure and Validation, Romanian Journal of Information Science and Technology, vol:7, issue:1-2, 2004, pages:61-78, ISSN (print):1453-8245
|
2004
|
|
23
|
Tinko Tinchev, A note on intersection of modalities, Годишник на СУ "Св. Климент Охридски", ФМИ, vol:87(1993), livre 1-2, 1999, pages:235-240, ISSN (print):0205-0808, Ref
|
1999
|
|
24
|
Philippe Balbiani, Luis Farinas del Cerro, Tinko Tinchev, Dimiter Vakarelov, Modal Logics for Incidence Geometries, Journal of Logic and Computation, vol:7, issue:1, 1997, pages:59-78, ISSN (print):0955-792X , ISSN (online):1465-363X, doi:10.1093/logcom/7.1.59, Ref, IR , SCOPUS, SJR (0.69 - 1999), SCOPUS Quartile: Q1 (Computer science, theory & methods), International
|
1997
|
|
25
|
Solomon Passy, Tinko Tinchev, An essay in combinatory dynamic logic, Information and Computation, vol:93, issue:2, 1991, pages:263-332, ISSN (print):0890-5401, doi:https://doi.org/10.1016/0890-5401(91)90026-X, Ref, Web of Science, SCOPUS Quartile: Q2 (1997, MathApp; COMP SCI, INFORMATION SYSTEMS)
|
1991
|
|
26
|
Solomon Passy, Tinko Tinchev, PDL with data constants, Information Processing Letters, vol:20, issue:1, 1985, pages:35-41, ISSN (print):0020-0190, doi:https://doi.org/10.1016/0020-0190(85)90127-9, Ref, Web of Science, SCOPUS Quartile: Q3 (Computer Science, Information Systems)
|
1985
|
| Статия в поредица |
|
1
|
Philippe Balbiani, Tinko Tinchev, Boolean logics with relations, Lecture Notes in Computer Science, vol:Proceedings of RelMiCS/AKA 2008, issue:4988, editor/s:Rudolf Berghammer, Bernhard Möller, Georg Struth , Publisher:Springer, 2008, pages:4-21, ISSN (print):ISSN:0302-9743, ISSN (online):E-ISSN:1611-3349, Ref, International
|
2008
|
|
2
|
Тинко Тинчев, Светла Коева, Борислав Ризов, Никола Обрешков, Система за разширено търсене в корпуси, Литературата. Писането в интернет, Publisher:Университетско издателство „Св. Климент Охридски”, 2008, pages:92-111, ISSN (print):1313-1451, PhD
|
2008
|
|
3
|
Philippe Balbiani, Tinko Tinchev, Line-Based Affine Reasoning in Euclidean Plane, Logics in Artificial Intelligence, Lecture Notes in Computer Science, vol:Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings 2004, issue:3229, editor/s:J. J. Alferes and J. Leite, Publisher:Springer-Verlag, Berlin, Heidelberg, 2004, pages:474-486, ISBN:978-3-540-23242-1, doi:https://doi.org/10.1007/978-3-540-30227-8_40, Ref, International
|
2004
|
|
4
|
Tinko Tinchev, Dimiter Vakarelov, PDL with counters (in Russian), Math. theory of programming, issue:1085, editor/s:Ershov, A. P., Skordev, D., Publisher:Akad. Nauk SSSR Sibirsk. Otdel., Vychisl. Tsentr, Novosibirsk, 1985, pages:50-57, ISSN (print):MН 06097, Ref
|
1985
|
| Статия в сборник (на конференция и др.) |
|
1
|
Philippe Balbiani, Tinko Tinchev, Decidable and Undecidable Problems for First-Order Definability and Modal Definability, Language, Logic, and Computation. TbiLLC 2019. Lecture Notes in Computer Science, vol 13206. , editor/s:Özgün, A., Zinova, Y. , Publisher:Springer, Sham, 2022, pages:214-236, ISSN (online):978-3-030-98479-3, ISBN:978-3-030-98478-6, doi:https://doi.org/10.1007/978-3-030-98479-3_11, Ref, SCOPUS, SJR (0.407 - 2021), SCOPUS Quartile: Q2 (Computer Science (miscellaneous), International
|
2022
|
|
2
|
Rizov, B., Tinchev, T., Towards Dynamic Wordnet: Time Flow Hydra, Proceedings of the 5th International Conference on Computational Linguistics in Bulgaria (CLIB 2022), Publisher:Department of Computational Linguistics, IBL -- BAS, 2022, pages:234-238, ISSN (online):2367 5675, Ref
|
2022
|
|
3
|
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev, About the Unification Type of K + 'Box Box'⊥, The 34th International Workshop on Unification UNIF 2020 Workshop Proceedings, editor/s:Temur Kutsia and Andrew M. Marshall, Publisher:RISC-Linz Report Series No. 20-10, 2020, pages:41-46, International
|
2020
|
|
4
|
P. Balbiani, Ç. Gencer, M. Mojtahedi, M. Rostamigiv, T. Tinchev, A gentle introduction to unification in modal logics, Proceedings of the conference JIAF 2019, editor/s:Sylvie DOUTRE, Tiago DE LIMA, 2019, pages:7-16, International
|
2019
|
|
5
|
Philippe Balbiani, Tinko Tinchev, A note on undecidability of modal definability, Материалы конференции “Алгебра и математическая логика: теория и приложения” (г. Казань, 24-28 июня 2019 г.)., Publisher:Казанский (Приволжский) федеральный университет, 2019, pages:28-30, International
|
2019
|
|
6
|
Philippe Balbiani, Tinko Tinchev, Computability of contact logics with measure, Logic Colloquium 2019. Book of abstracts, editor/s:D. Chodounský, Š. Stejskalová, J. Verner, Publisher:AMCA, spol. s.r.o.; Publishing house of the Faculty of Mathematics and Physics Charles University, 2019, pages:213-214, ISBN:978-80-88214-19-9, International
|
2019
|
|
7
|
Tatyana Ivanova, Tinko Tinchev, First-order theory of lines in Euclidean plane, Logic Colloquium 2019. Book of abstracts, editor/s:D. Chodounský, Š. Stejskalová, J. Verner, Publisher:AMCA, spol. s.r.o.; Publishing house of the Faculty of Mathematics and Physics Charles University, 2019, pages:209-209, ISBN:978-80-88214-19-9
|
2019
|
|
8
|
Tinko Tinchev, Modal approach to region-based theories of space: undecidability of modal definability, Handbook of the 6th World Congress and School on Universal logic, June 16 to 26 - 2018 - Vichy - France, editor/s:Jean-Yves Beziau, Arthur Buchsbaum, Cristophe Rey, Publisher:Université Clermont Auvergne, Vichy, France, ISBN: 978-2-9544948-1-4, 2018, pages:455-457, ISBN:978-2-9544948-1-4
|
2018
|
|
9
|
Philippe Balbiani, Tinko Tinchev, On the modal and first-order definability, Handbook of the 6th World Congress and School on Universal logic, June 16 to 26 - 2018 - Vichy - France, editor/s:Jean-Yves Beziau, Arthur Buchsbaum, Cristophe Rey, Publisher:Université Clermont Auvergne, Vichy, France, ISBN: 978-2-9544948-1-4, 2018, pages:457-458, ISBN:978-2-9544948-1-4, International
|
2018
|
|
10
|
Ivo Duentsch, Ewa Orlowska, Tinko Tinchev, Mixed Algebras and Their Logics, Logical Reasoning and Computation: Essays dedicated to Luis Farinas del Cerro, editor/s:Pedro Cabalar, Martin Dieguez, Andreas Herzig and David Pearce, 2016, International
|
2016
|
|
11
|
Philippe Balbiani, Tinko Tinchev, Unification in modal logic Alt1, Advances in Modal Logic, vol. 11, editor/s:Lev Beklemishev, Stefan Demri, Publisher:College Publications, London, 2016, pages:117-134, ISBN:ISBN-13: 978-1-84890-201-5, Ref, International
|
2016
|
|
12
|
Philippe Balbiani, Tinko Tinchev, Definability and computability for PRSPDL, Advances in Modal Logic, vol. 10, editor/s:Rajeev Gore, Agi Kurucz, Publisher:College Publications, London, 2014, pages:16-33, ISBN:ISBN-13: 978-1-84890-151-3, Ref, International
|
2014
|
|
13
|
Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev, Flexible noisy text correction, 11th IAPR International Workshop On Document Analisys Systems, 2014, pages:31-35, ISBN:978-1-4799-3243-6, doi:10.1109/DAS.2014.12, Ref, SCOPUS, SJR (0.367 - 2015)
|
2014
|
|
14
|
Tatyana Ivanova, Tinko Tinchev, Line-Based Reasoning in Euclidean Plane, Jubilee conference 125 years mathematics and natural sciences at Sofia University, Book of abstracts, Publisher:Sofia University Press , 2014, pages:141-141, PhD
|
2014
|
|
15
|
Philippe Balbiani, Tinko Tinchev, Unification in the normal modal logic Alt1, The 28th International Workshop on Unification UNIF 2014, A FLoC workshop at Vienna Summer of Logic 2014, Workshop Proceedings, editor/s:Temur Kutsia, Christophe Ringeissen, Publisher:RISC-Linz Report Series No. 14-06, 2014, pages:26-32, Ref, International
|
2014
|
|
16
|
Tinko Tinchev, Modal approach to region-based theories of space: definability and canonicity, Handbook of the 4th World Congress and Scool on Universal Logic, editor/s:Jean-Yves Béziau, Arthur Buchsbaum and Alexandre Costa-Leite, Publisher:ECEME, Rio de Janeiro, Brasil, 2013, pages:255-255
|
2013
|
|
17
|
Tinko Tinchev, Some logics for regions in R^n, 120 years Faculty of Mathematics and Informatics, Publisher:Sofia University Press, 2011, pages:195-200, ISSN (print):1313-9045, Ref
|
2011
|
|
18
|
T. Tinchev, D. Vakarelov, Logics of Space with
Connectedness Predicates: Complete axiomatizations., Proceedings of Advances of Modal Logics, vol. 8, editor/s:L. Beklemishev, V. Goranko and V. Sheshtman, Publisher:College Publications, London, 2010, pages:409-427, ISSN (print):ISBN-13: 978-1-84890-013-4, ISBN:1904987206; 978-184890013-4, Ref, Web of Science, SCOPUS, SJR ( - 2012)
|
2010
|
|
19
|
Tinko Tinchev, Universal fragments of the logics of the strong contact and the strong connectedness. (Abstract), Handbook of the World Congress and School on Universal Logic III, April 18 -- 25, Lisbon, Portugal, 2010, editor/s:Jean-Yves Beziau, Carlos Caleiro, Joao Rasga e Alexandre Costa-Leite, 2010
|
2010
|
|
20
|
Petar Mitankin, Stoyan Mihov, Tinko Tinchev, Large vocabulary
continuous speech recognition for Bulgarian, Recent Advances in Natural Language Processing, September 14-16, 2009, Borovets, Bulgaria, editor/s:Ruslan Mitkov, Galia Angelova, Publisher:Association for Computational Linguistics - http://aclweb.org/anthology/R09-1 , 2009, pages:246-250, ISSN (print):13138502, Ref
|
2009
|
|
21
|
Tinko Tinchev, On the strong completeness of the logic for regions. (Abstract), MASSEE International Congress on Mathematics MICOM 2009, September 16-20 2009, Ohrid, Macedonia, Book of Abstracts, 2009, pages:98-99
|
2009
|
|
22
|
Svetla Koeva, Tinko Tinchev, Mitko Yanchev, Decidability of Generalized Majority Logic, 6th Panhellenic Logic Symposium, Extended abstracts, editor/s:G. Kaouri, S. Zachos, 2007, pages:77-80
|
2007
|
|
23
|
Tinko Tinchev, Logics with Counting Modal Operators, International Conference Pioneers of Bulgarian Mathematics, Sofia, July 8--10, 2006, Book of Abstracts, 2006, pages:124-125
|
2006
|
|
24
|
Philippe Balbiani, Tsvetan Dunchev, Tinko Tinchev, Modal Definability over a Class of Structures with Two Equivalence Relations, International Conference Pioneers of Bulgarian Mathematics, Sofia, July 8--10, 2006, Book of Abstracts, 2006, pages:16-16, MSc
|
2006
|
|
25
|
Tinko Tinchev, Mitko Yanchev, Modal Operators for Rational Grading, International Conference Pioneers of Bulgarian Mathematics, Sofia, July 8--10, 2006, Book of Abstracts, 2006, pages:123-124, MSc
|
2006
|
|
26
|
Dimiter Georgiev, Tinko Tinchev, Dimiter Vakarelov, SQEMA - an Algorithm for Computing First-Order Correspondences in Modal Logic: a Computer Realization, International Conference Pioneers of Bulgarian Mathematics, Sofia, July 8--10, 2006, Book of Abstracts, 2006, pages:45-46, MSc
|
2006
|
|
27
|
Philippe Balbiani, Tinko Tinchev, Decidability and Complexity of
Definability within the Class of All Partitions, Proceedings of the 5th Panhellenic Logic Symposium, July 25-28, 2005, Athens, Greece, editor/s:C. Dimitracopoulos, 2005, pages:26-33
|
2005
|
|
28
|
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov, Geometrical Structures and Modal Logic, Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96,Lecture Notes in Computer Science, vol. 1085, Bonn, Germany, June 3-7, 1996, Proceedings 1996, editor/s:Dov M. Gabbay, Hans Jürgen Ohlbach, Publisher:Springer, Berlin, 1996, pages:43-57, ISSN (print):03029743, ISBN: 3540613137;978-354061313-8, doi:10.1007/3-540-61313-7_62, Ref, International
|
1996
|
|
29
|
Tinko Tinchev, Dimiter Vakarelov, Propositional Dynamic Logic with Recursive Programs, ath. Problems in Computation Theory, Banach Center Publications, vol. 21, editor/s:Grażyna Mirkowska and Helena Rasiowa, Publisher:PWN, Warsaw, 1988, pages:419-426, ISBN:83-01-07936-3/hbk, Ref, Web of Science
|
1988
|
|
30
|
Georgi Gargov, Solomon Passy, Tinko Tinchev, Modal Environment for Boolean Speculations, Mathematical Logic and its Applications, Proc. of Geodel'86 Summer School & Conf., Druzhba, editor/s:Dimiter Skordev, Publisher:Plenum Press, New York, 1987, pages:253-263, ISBN:0-306-42599-8, doi:https://doi.org/10.1007/978-1-4613-0897-3_17, Ref
|
1987
|
|
31
|
Tinko Tinchev, Dimiter Vakarelov, Propositional dynamic logics with counters and stacks, Computation Theory - Fifth Symposium, Zaborów, Poland, December 3-8, 1984, Proceedings. Lecture Notes in Computer Science 208, editor/s:Andrzej Skowron , Publisher:Springer, Berlin, 1985, pages:364-374, ISBN:978-3-540-16066-3, doi:https://doi.org/10.1007/3-540-16066-3_3, Ref, SCOPUS Quartile: Q1 (13/66 1999 WOS)
|
1985
|
|
32
|
Solomon Passy, Tinko Tinchev, Quantifiers in combinatory PDL: completeness, definability, incompleteness, Fundamentals of Computation Theory, FCT '85, Cottbus, GDR, September 9-13, 1985. Lecture Notes in Computer Science 199 , editor/s:Lothar Budach, Publisher:Springer, Berlin, Heidelberg, 1985, pages:512-519, ISSN (online):978-3-540-39636-9, ISBN:978-3-540-15689-5, doi:https://doi.org/10.1007/BFb0028835, Ref
|
1985
|
| Студия в научно списание |
|
|
Philippe Balbiani, Quentin Gougeon, Tinchev, Tinko, Logics for contact and measure , Journal of Logic and Computation, 2024, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:https://doi.org/10.1093/logcom/exae065, Ref, Web of Science, IF (0.7 - 2024), Web of Science Quartile: Q1 (2024), SCOPUS, SJR (4.72 - 2023), SCOPUS Quartile: Q1 (2024), MathSciNet, International
|
2024
|
| Участие в конференция |
|
1
|
Секционен доклад, Тинко Тинчев, Люба Конова, Няколко предикатни теории от първи ред за правите в евклидовата равнина
|
2025
|
|
2
|
Секционен доклад, Тинко Тинчев, Филип Балбиани, Модална определимост за разширенията на модалната логика К5: сложност
|
2025
|
|
3
|
Секционен доклад, Яна Георгиева, Тинко Тинчев, Разрешимост на проблема за модалната определимост за някои класове от
структури, модели за S5^2
|
2024
|
|
4
|
Секционен доклад, Philippe Balbiani, Quentin Gougeon, Tinko Tinchev, Measurable contact algebras
|
2024
|
|
5
|
Секционен доклад, Иван Николов, Тинко Тинчев, Контактни логики с n-арен контакт: унификация
|
2024
|
|
6
|
Секционен доклад, Григор Колев, Тинко Тинчев, Проблеми за определимост в разширенията на суперинтуиционистката
логика LC
|
2024
|
|
7
|
Секционен доклад, Grigor Kolev, Tinko Tinchev, Monadic second-order theories of postlinear orders and preorders
|
2024
|
|
8
|
Пленарен доклад, Тинко Тинчев, Първите години на ФМИ: създаване и развитие
|
2024
|
|
9
|
Секционен доклад, Philippe Balbiani, Quentin Gougeon, Tinko Tinchev , Characterizing finite measurable Boolean algebras
|
2024
|
|
10
|
Пленарен доклад, Tinko Tinchev, 135 years Faculty of Mathematics and Informatics: Origins and yearly development
|
2024
|
|
11
|
Секционен доклад, Григор Колев, Тинко Тинчев, Определимост със съждителни формули с интуиционистка семантика:
алгоритмични проблеми
|
2023
|
|
12
|
Секционен доклад, Иван Николов и Тинко Тинчев, Logic of Ternary Contact
|
2023
|
|
13
|
Секционен доклад, Philippe Balbiani, Tinko Tinchev, Modal definability in Euclidean modal logics
|
2023
|
|
14
|
Секционен доклад, Яна Георгиева, Тинко Тинчев, Проблемът за модалната определимост за логиката S5^2: разрешими случаи
|
2023
|
|
15
|
Секционен доклад, Тинко Тинчев, On the correspondence theory
|
2023
|
|
16
|
Пленарен доклад, Тинко Тинчев, Combining contact with measure
|
2023
|
|
17
|
Секционен доклад, Филип Балбиани, Тинко Тинчев, Проблемът за съответствието за разширенията на модалната логика К5
|
2023
|
|
18
|
Секционен доклад, Григор Колев и Тинко Тинчев, Correspondence problem on several classes of frames for
intuitionistic propositional formulas"
|
2023
|
|
19
|
Секционен доклад, Борислав Ризов и Тинко Тинчев, Towards Dynamic Wordnet: Time Flow Hydra
|
2023
|
|
20
|
Секционен доклад, Тинко Тинчев, Decidability of modal definability problem on the class of quasilinear frames
|
2022
|
|
21
|
Секционен доклад, Yana Rumenova, Tinko Tinchev, Modal definability of some classes of modal products
|
2022
|
|
22
|
Секционен доклад, Yana Rumenova, Tinko Tinchev, Undecidability of modal definability: the class of frames with two commuting equivalence relations
|
2021
|
|
23
|
Секционен доклад, Стоян Градев, Тинко Тинчев, Контактни алгебри с качествена мярка: политопите над полуправата
|
2021
|
|
24
|
Секционен доклад, Тинко Тинчев, Philippe Balbiani , Модална определимост относно класове от квазилинейни наредби
|
2021
|
|
25
|
Секционен доклад, Яна Георгиева, Тинко Тинчев, Модална определимост относно един клас от две комутиращи релации на еквивалентност
|
2021
|
|
26
|
Секционен доклад, Maryam Rostamigiv, P. Balbiani, C. Gencer, T. Tinchev, About the unification type of modal logic K+[][]false
|
2020
|
|
27
|
Секционен доклад, Tinko Tinchev, A note on undecidability of modal definability
|
2019
|
|
28
|
Секционен доклад, Tatyana Ivanova, Tinko Tinchev, First-order theory of lines in Euclidean plane
|
2019
|
|
29
|
Секционен доклад, Tinko Tinchev, Computability of contact logics with
measure
|
2019
|
|
30
|
Секционен доклад, Tinko Tinchev, Contact logics with qualitative measure
|
2019
|
|
31
|
Секционен доклад, Тинко Тинчев, Безкванторни логики на някои контактни алгебри с мярка
|
2019
|
|
32
|
Секционен доклад, Maryam Rostamigiv, P. Balbiani, C. Gencer, M. MojtahedT. Tinchev, A gentle introduction to unification in modal logics
|
2019
|
|
33
|
Секционен доклад, Tinko Tinchev, Modal approach to region-based theories of space: undecidability of modal definability
|
2018
|
|
34
|
Секционен доклад, Цветлин Маринов, Логика на силния контакт между политопи
|
2018
|
|
35
|
Секционен доклад, Тинко Тинчев, За модалната определимост в един клас от структури
|
2018
|
|
36
|
Секционен доклад, Tsvetlin Marinov, A Logic of Strong Contact
between Polytopes
|
2018
|
|
37
|
Секционен доклад, Иван Николов, Логики на n-арния контакт
|
2018
|
|
38
|
Секционен доклад, Тинко Тинчев, Контактни алгебри с мярка
|
2018
|
|
39
|
Секционен доклад, Tinko Tinchev, On the modal and first-order definability
|
2018
|
|
40
|
Секционен доклад, Ivan Nikolov, Logics of n-ary Contact:
Alternative Proof of the Completeness
|
2018
|
|
41
|
Секционен доклад, Tinko Tinchev, Region-based theories of space and time: Modal definability
|
2018
|
|
42
|
Секционен доклад, Димитър Георгиев, За определимостта в К5 структури
|
2017
|
|
43
|
Секционен доклад, Тинко Тинчев, Относно унификацията в Alt1
|
2016
|
|
44
|
Секционен доклад, Philippe Balbiani, Unification in modal logic Alt1
|
2016
|
|
45
|
Секционен доклад, Ivo Düntsch, Algebraic semantics for logics with necessity and sufficiency
|
2016
|
|
46
|
Секционен доклад, Tinko Tinchev, Logics of space with connectedness predicates
|
2016
|
|
47
|
Секционен доклад, Tinko Tinchev, Mixed Algebras and Their Logics
|
2016
|
|
48
|
Секционен доклад, Тинко Тинчев, Модална определимост над класове от структури
|
2015
|
|
49
|
Секционен доклад, Philippe Balbiani, Computational complexity of PRSPDL-validity
|
2014
|
|
50
|
Секционен доклад, Tinko Tinchev, Unification in the modal logic of partial functions
|
2014
|
|
51
|
Секционен доклад, Tinko Tinchev, PDL with parallel composition: high undecidability in the class of well-founded frames
|
2014
|
|
52
|
Секционен доклад, Тинко Тинчев, Съждителна динамична логика с паралелна композиция
|
2014
|
|
53
|
Секционен доклад, Тинко Тинчев, Унификация в модалната логика на частичните функции: PSPACE-труден проблем?
|
2014
|
|
54
|
Секционен доклад, Philippe Balbiani, Unification in the normal modal logic Alt1
|
2014
|
|
55
|
Секционен доклад, Tinko Tinchev, Modal approach to region-based theories of space: definability and canonicity
|
2013
|
|
56
|
Секционен доклад, Tinko Tinchev, Modal approach to region-based theories of space: canonicity
|
2012
|
|
57
|
Секционен доклад, Тинко Тинчев, Една теорема за силна пълнота
|
2012
|
|
58
|
Секционен доклад, Тинко Тинчев, Логики за региони: определимост и пълнота
|
2012
|
|
59
|
Секционен доклад, Тинко Тинчев, Complexity and completeness of some dynamic mereotopological logics
|
2011
|
|
60
|
Секционен доклад, Тинко Тинчев, Сложност на минималната DCL
|
2011
|
|
61
|
Секционен доклад, Тинко Тинчев, Modal approach to some region-based theories of space
|
2010
|
|
62
|
Секционен доклад, Dimiter Vakarelov, Logics of Space with Connectedness Predicates: Complete Axiomatizations
|
2010
|
|
63
|
Секционен доклад, Тинко Тинчев, Universal fragments of the logics of the strong cоntact and the strong connectedness
|
2010
|
|
64
|
Секционен доклад, Тинко Тинчев, Logics of space with contact and connectedness predicates: complete
axiomatizations of the universal fragments
|
2010
|
|
65
|
Секционен доклад, Тинко Тинчев, Universal Fragments of some Region-based Theories of Space
|
2009
|
|
66
|
Секционен доклад, Тинко Тинчев, Some logics for regions in R^n
|
2009
|
|
67
|
Секционен доклад, Тинко Тинчев, On the universal fragments of some region-based theories of space
|
2009
|
|
68
|
Секционен доклад, Тинко Тинчев, On the strong completeness of the logic for regions
|
2009
|
|
69
|
Секционен доклад, Тинко Тинчев, Modal approach to some
region-based theories of space
|
2008
|
|
70
|
Секционен доклад, Svetla Koeva, Tinko Tinchev, Mitko Yanchev, Decidability of generalized majority logic
|
2007
|
|
71
|
Секционен доклад, Тинко Тинчев, Logics with Counting Modal Operators
|
2006
|
|
72
|
Секционен доклад, Татяна Иванова, Тинко Тинчев, Line-Based Reasoning in Euclidean Plane
|
2006
|
|
73
|
Секционен доклад, Тинко Тинчев, Modal Definability
over a Class of Structures with Two Equivalence Relations
|
2006
|
|
74
|
Секционен доклад, Тинко Тинчев, Euclidean Geometry with Lines
Alone
|
2005
|
|
75
|
Секционен доклад, Тинко Тинчев, Definability over the class of all
partitions
|
2005
|
|
76
|
Секционен доклад, Тинко Тинчев, Decidability and Complexity of
Definability within the Class of All Partitions
|
2005
|
| Участие в редколегия |
|
|
Тинко Тинчев, Годишник на СУ "Св. Климент Охридски", ФМИ, Участие в редколегия
|
1989
|
|