Dmitry Shkatov

Dmitry Shkatov is an Associate Professor at the University of the Witwatersrand, Johannesburg, affiliated with the School of Computer Science and Applied Mathematics. His research primarily explores the intersection of logic, computation, and multi-agent systems, with a focus on algorithmic properties and theoretical foundations.

Research Interests:

• First-order modal and superintuitionistic logics, particularly their decidability, complexity, and semantic frameworks.
• Algorithmic analysis of logics and algebraic structures, including residuated ordered groupoids and Kripke frames.
• Applications in multi-agent systems, temporal reasoning, and computational linguistics.

His recent publications (2022–2024) demonstrate a consistent focus on computational complexity, completeness theorems, and finite-variable fragments in modal and superintuitionistic logics. Key trends include undecidability proofs, axiomatization studies, and extensions of classical systems like Solovay's system S. This work bridges theoretical computer science and mathematical logic, emphasizing decidability boundaries and efficient model checking.