Тинко Величков Тинчев

Тинко Величков Тинчев

Изследовател (R4)
Професор
Доктор
Имейл: 
tinko@fmi.uni-sofia.bg
Телефон: 
8161-505
Кабинет: 
ФзФ-242
Приемно време: 

четвъртък 11-12,  к. 242 ФзФ
петък 13:30-15:30,  к. 242 ФзФ

Научни интереси

  • Теория на множествата
  • Модални логики
  • Некласически логики

Преподавателска дейност

Зимен семестър 2005 - 2006

  • Алгоритми и реализация на JAVA, спец. математика, приложна математика, хорариум 3+2
  • Програмиране на C#, спец. информатика, математика, приложна математика, хорариум 3+2
  • Теория на множествата, спец. информатика, математика, приложна математика, хорариум  2+1

Летен семестър 2005 - 2006

  • Логическо програмиране, спец. информатика, задължителен, хорариум 3+2

Списък с публикации

  1. Ph. Balbiani, T. Tinchev, D. Vakarelov. Modal logics for region-based theories of space. Accepted in the volume dedicated to prof. Grzegorczyk.
  2. T. Tinchev, M. Yanchev. Modal Operators for Rational Grading. To appear in Annuaire de l'Universite de Sofia "St. Kliment Ohridski''.
  3. G. Georgiev, T. Tinchev, Monadic Second Order logic on equivalence relations. To appear in Annuaire de l'Universite de Sofia "St. Kliment Ohridski''.
  4. Ph. Balbiani, T. Tinchev, Definability over the Class of All Partitions.  Journal of Logic and Computation, 2006, Vol. 16, 5, pp. 541--557.
  5. Ph. Balbiani, T. Tinchev, Line-based affine reasoning in Euclidean plane.  To appear in Journal of Applied Logic.
  6. Ph. Balbiani, T. Tinchev, Decidability and Complexity of Definability within the Class of All Partitions. In: Proceedings of the 5th Panhellenic Logic Symposium, July 25-28, 2005, Athens, Greece, p. 26--33.
  7. Ph. Balbiani, T. Tinchev, Euclidean Geometry with Lines Alone (abstract). Proceedings of Logic Colloquium 2005, July 28 - August 3, 2005, Athens, Greece, p. 47.
  8. Ph. Balbiani, T. Tinchev, D. Vakarelov, Dynamic logics of region-based theory of discrete spaces. To appear in Journal of Applied Non-Classical Logics.
  9. S. Koeva, S. Mihov, T. Tinchev, Bulgarian Wordnet - Structure and Validation. Romanian J. Of Inf. Sci. And Technology, vol. 7, No. 1-2, 2004, 61-78.
  10. Ph. Balbiani, T. Tinchev, Line-based affine reasoning in Euclidean plane. In: J. J. Alferes and J. Leite (eds.), Logics in Artificial Intelligence. Ninth European Conference, JELIA 2004, Lisbon, Portugal, September 2004, Proceedings. Vol. 3229 of Lecture Notes in Artificial Intelligence, 474--486.
  11. T. Tinchev, A Note on Intersection of Modalities. In: Annuaire de l'Universite de Sofia "St. Kliment Ohridski'', vol. 87, livre 1, 1999.
  12. Ph. Balbiani, L. Farinas del Cerro, T. Tinchev, D. Vakarelov, Modal Logics for Incidence Geometries. J. Logic Computat., vol. 7, No 1, 1997, 59--78.
  13. Ph. Balbiani, L. Farinas del Cerro, T. Tinchev, D. Vakarelov, Geometrical Structures and Modal Logic, in: the Proccedings of FAPR'96 ``International Conference on Formal and Applied Practical Reasoning'', June 3-7, 1996, Bonn, German.
  14. T. Tinchev, Intersection and Graded Modalities (abstract). The Bulletin of Symbolic Logic, vol. 1, Number 2, 1995, 263--264.
  15. S. Passy & T. Tinchev, An Essay in Combinatory Dynamic Logic. Information and Computation, vol. 93, No. 2, 1991, 263--332.
  16. G. Gargov, S. Passy & T. Tinchev, Modal Environment for Boolean Speculations. In:  Mathematical Logic and its Applications (ed. D. Skordev), Proc. of Gödel'86 Summer School Conf., Druzhba; Plenum Press, New York, 1988, 253--263.
  17. T. Tinchev & D. Vakarelov, Propositional Dynamic Logic with Recursive Programs. In:  Math. Problems in Computation Theory, Banach Center Publications, vol. 21, 1988, PWN, Warsaw, 419--426.
  18. T. Tinchev & D. Vakarelov, Propositional Dynamic Logic with Counters and Stacks. In: Springer LNCS, vol. 208, 364--374.
  19. Extensions of Propositional Dynamic Logic, PhD Thesis, Sofia University, 1986 (in Bulgarian).
  20. S. Passy & T. Tinchev, PDL with Data Constants. Information Processing Letters, 20, 1985, 35--41.
  21. S. Passy & T. Tinchev, Quantifiers in PDL:  Completeness, Definability, Incompleteness. In: Proc. of the Conf. FCT'85, Springer LNCS 199, 1985, 512--519.
  22. PDL with counters. In: Math. theory of programing, 1085, Novosibirsk, 50--57 (in Russian).
  23. T. Tinchev & D. Vakarelov, Propositional dynamic logic with least fixed points which are programs. In: Proc. of Summer School on Mathematical Logic and its Applications, Primorsko, September 22--28, 1983, 64--67.