Dmitry Shkatov

Affiliations: 

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

Research Interests: 

Modal logic and its applications in computer science
Algebraic logic

Websites:

http://www.cs.wits.ac.za/~dmitry/