Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Tinchev, Tinko Website: http://www.fmi.uni-sofia.bg/fmi/logic/tinchev/ https://www.mathnet.ru/eng/person57188 List of publications on Google Scholar Presentations in Math-Net.Ru 1. Logics of space with connectedness predicates: complete axiomatizations Tinko Tinchev, Dimiter Vakarelov The eighth International сonference "Advances in Modal Logic" (AiML 2010) August 26, 2010 09:50    Organisations Sofia University St. Kliment Ohridski, Faculty of Mathematics and Computer Science