# Current Postgraduate Students

- Alexander Terziivanov
- Nikolay Beluhov
- Nikolay Ivanov

# 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
**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