| Tableau-based decision procedures for logics of strategic ability in multi-agent systems V Goranko, D Shkatov ACM Transactions on Computational Logic 11 (1), 2008 | 63 | 2008 |
| Tableau tool for testing satisfiability in LTL: Implementation and experimental analysis V Goranko, A Kyrilov, D Shkatov Electronic Notes in Theoretical Computer Science 262, 113-125, 2010 | 44 | 2010 |
| Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter M Rybakov, D Shkatov Studia Logica 107 (4), 695-717, 2019 | 41 | 2019 |
| Complexity of finite-variable fragments of propositional modal logics of symmetric frames M Rybakov, D Shkatov Logic Journal of the IGPL 27 (1), 60-68, 2019 | 34 | 2019 |
| Complexity and expressivity of propositional dynamic logics with finitely many variables M Rybakov, D Shkatov Logic Journal of the IGPL 26 (5), 539-547, 2018 | 32 | 2018 |
| Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time V Goranko, D Shkatov 8th International Conference on Autonomous Agents and Multiagent Systems …, 2009 | 27 | 2009 |
| Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages M Rybakov, D Shkatov Journal of Logic and Computation 30 (7), 1305-1329, 2020 | 24 | 2020 |
| Complexity and expressivity of branching-and alternating-time temporal logics with finitely many variables M Rybakov, D Shkatov Theoretical Aspects of Computing–ICTAC 2018: 15th International Colloquium …, 2018 | 24 | 2018 |
| Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages M Rybakov, D Shkatov Journal of Logic and Computation 31 (2), 494-522, 2021 | 22 | 2021 |
| Complexity of finite-variable fragments of products with K M Rybakov, D Shkatov Journal of Logic and Computation 31 (2), 426-443, 2021 | 21 | 2021 |
| A general method for proving decidability of intuitionistic modal logics N Alechina, D Shkatov Journal of Applied Logic 4 (3), 219-230, 2006 | 21 | 2006 |
| Algorithmic properties of first-order modal logics of the natural number line in restricted languages M Rybakov, D Shkatov Advances in Modal Logic 13, 523-539, 2020 | 19 | 2020 |
| Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages M Rybakov, D Shkatov Journal of Logic and Computation 31 (5), 1266-1288, 2021 | 18 | 2021 |
| A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames M Rybakov, D Shkatov Advances in Modal Logic 12, 531-540, 2018 | 18 | 2018 |
| Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic V Goranko, D Shkatov International Symposium on Logical Foundations of Computer Science, 197-213, 2009 | 17 | 2009 |
| Finding uniform strategies for multi-agent systems J Calta, D Shkatov, H Schlingloff Computational Logic in Multi-Agent Systems: 11th International Workshop …, 2010 | 16 | 2010 |
| Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time V Goranko, D Shkatov 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations, 25, 2009 | 16* | 2009 |
| Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge V Goranko, D Shkatov 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 16 | 2008 |
| On one-variable fragments of modal predicate logics V Shehtman, D Shkatov SYSMICS2019, 129, 2019 | 14 | 2019 |
| Recursive enumerability and elementary frame definability in predicate modal logic M Rybakov, D Shkatov Journal of Logic and Computation 30 (2), 549–560, 2020 | 13 | 2020 |
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
