Concepedia
Statistics
Publications
10
Citations
201
H-Index
Active since
2005
Affiliations
University of the Witwatersrand(Current)
Institute for Information Transmission Problems
National Research University Higher School of Economics
Tver State University
Technical University of Denmark
Dmitry Shkatov is an author at University of the Witwatersrand specializing in computer science, logic, and mathematics.
Publications per year
2005–2021
Tableau-based decision procedures for logics of strategic ability in multiagent systems
Valentin Goranko, Dmitry Shkatov · ACM Transactions on Computational Logic · 2009 · 42 citations
Computing, Computer Science, Artificial Intelligence +9
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis
Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov · Electronic Notes in Theoretical Computer Science · 2010 · 32 citations · Full text
Computing, Computer Science, Algorithms +13
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
Mikhail Rybakov, Dmitry Shkatov · Studia Logica · 2018 · 28 citations · Full text
Humanities, Computer Science, Mathematics +13
Complexity and expressivity of propositional dynamic logics with finitely many variables
Mikhail Rybakov, Dmitry Shkatov · Logic Journal of IGPL · 2018 · 21 citations · Full text
Computing, Computer Science, Mathematics +12
A general method for proving decidability of intuitionistic modal logics
Natasha Alechina, Dmitry Shkatov · Journal of Applied Logic · 2005 · 16 citations
Humanities, Computer Science, Mathematics +12
1–5 of 10