Current Postgraduate Students
- Grigor Kolev
- Yana Rumenova
- Ivan Nikolov
Former Postgraduate Students and their Dissertations
- Dimiter Georgiev, Algorithmic Methods for Non-classical Logics, 2017
- Tatyana Ivanova, Logics for relational geometric structures: distributive mereotopology, extended contact algebras and related quantifier-free logics, 2016
- Ivan Georgiev, Subrecursive computability in analysis, 2016
- Andrey Sariev, Definability in degree structures, 2015 (translation of the introduction in Greek)
- Vladislav Nenchev, Theories of time and space based on regions. Dynamic relational mereotopology, 2014
- Anton Zinoviev, Finite models by resolution with termoids, 2014
- Stefan Vatev, Effective properties of structures in the hyperarithmetical hierarchy, 2014
- Stefan Gerdjikov, Efficient algorithm for the approximate search problem in regular sets, 2014
- Hristo Ganchev, Omega enumeration degrees, 2009
- Vessela Baleva, The structure degree jump operation, 2001
- Dimitar Guelev, Probabilistic and Temporal Modal Logics, 2000
- Stela Nikolova, Admissibility in Abstract Structures with Arbitrary Cardinality, 1991
- Alexandra Soskova, Effective Algebraic Systems, 1990
- Valentin Goranko, Definability and Completeness in Polymodal Logics, 1988
- Tinko Tinchev, Extensions of the Propositional Dynamic Logic, 1986
- Solomon Passy, Combinatory Dynamic Logic, 1984
- Jordan Zashev, Recursion Theory in Partially Ordered Combinatory Models, 1983
- Ivan Soskov, Computability in Partial Algebraic Systems, 1983
- Angel Ditchev, Non-reducibility of Certain Cartesian Degrees to Other Ones and the Interrelation between Two Kinds of Computability, 1983
- Lyubomir Ivanov, Iterative Operative Spaces, 1980