Dmitry Shkatov

School of Computer Science, University of the Witwatersrand, South Africa

Research interests:

Modal logic and its applications in computer science
Algebraic logic