Dmitry Shkatov
School of Computer Science, University of the Witwatersrand, South Africa
Research interests:
Modal logic and its applications in computer science Algebraic logic