Dmitry Shkatov's research page

Research interests:

Publications:

  1. Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter. (with Mikhail Rybakov) To appear in Studia Logica. Pre-final version available at arXiv. Final version here.
  2. Complexity of finite-variable fragments of propositional modal logics of symmetric frames. (with Mikhail Rybakov) To appear in Logic Journal of the IGPL. Available from here.
  3. Complexity and expressivity of branching- and alternating-time temporal logics with finitely many variables. (with Mikhail Rybakov) In Fischer B., Uustalu T. (eds) Theoretical Aspects of Computing - ICTAC 2018. Lecture Notes in Computer Science, Vol. 11187. Springer, 2018, pp. 396-414. Pre-final version available at arXiv. Final version here.
  4. Complexity and expressivity of propositional dynamic logics with finitely many variables. (with Mikhail Rybakov) Logic Journal of the IGPL, 26 (5), pp. 539-547. (2018) Available from here.
  5. A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames. (with Mikhail Rybakov) In G. Bezhanishvili, G. D'Agostino, G. Metcalfe and T. Studer (eds.) Advances in Modal Logic, Vol. 12. College Publications, 2018. pp. 531-540. (pdf)
  6. Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge (with Mai Ajspur and Valentin Goranko). Logic Journal of the IGPL, 21(3), pp. 407--437 (2013) (pdf).
  7. Modal logics for reasoning about infinite unions and intersections of binary relations (with Natasha Alechina and Philippe Balbiani). Journal of Applied Non-Classical Logics, 22(4), pp. 275--294. (2012) (pdf).
  8. Synthesizing strategies for homogenous multi-agent systems with incomplete information (with Jan Calta) Lecture Notes in Artificial Intelligence, vol. 6814 (Proceedings of 12th International Workshop on Computational Logic in Multi-Agent Systems). Springer, 2011, pp. 122--137. (pdf)
  9. Finding uniform strategies for multi-agent systems (with Jan Calta and Holger Schlingloff). Lecture Notes in Artificial Intelligence, vol. 6245 (Proceedings of 11th International Workshop on Computational Logic in Multi-Agent Systems). Springer, 2010, pp. 135--152. (pdf)
  10. Tableau tool for testing satisfiability in LTL: Implementation and experimental analysis (with Valentin Goranko and Angelo Kyrilov). In Electronic Notes in Theoretical Computer Science . Vol. 262 (Proceedings of the 6th Workshop on Methods for Modalities), pp. 113--125. (Available from here.)
  11. Tableau-based decision procedures for logics of strategic ability in multi-agent systems (with Valentin Goranko). In ACM Transactions on Computational Logic. Vol. 11(1), pp. 3:1--3:51 (Available from here.)
  12. Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time (with Valentin Goranko). Electronic Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems 2009 (FAMAS09). (pdf)
  13. Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time (with Valentin Goranko). In Proceedings of 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 09). pp. 969--976. (pdf)
  14. Tableu-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic (with Valentin Goranko). In S. Artemov, A. Nerode (editors). Logical Foundations of Computer Science 2009. Lecture Notes in Computer Science. Vol. 5407. Springer, 2009. pp. 197--213.
  15. Tableau-based decision procedure for multi-agent epistemic logic with operators of commond and distributed knowledge (with Valentin Goranko). In A. Cerone, S. Gruner (editors). Proceedings of the 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM2008). IEEE Computer Society Press, 2008. pp. 237--246.
  16. Logics with modalities corresponding to infinite unions and intersections of accessibility relations (with Natasha Alechina and Philippe Balbiani). In Proceedings of International Workshop on Hybrid Logic 2007 (HyLo 2007). Dublin, 2007.
  17. Logics with an existential modality (with Natasha Alechina). In G. Governatori et al. (eds.) Advances in Modal Logic, vol. 6. College Publications, 2006, pp. 31-48. (pdf)
  18. A general method for proving decidability of intuitionistic modal logics (with Natasha Alechina). In Journal of Applied Logic, vol. 4 (2006), pp. 219-230. (pdf)
  19. On decidability of intuitionistic modal logics (with Natasha Alechina). In Proceeding of Methods for Modalities 3 (M4M2003). Nancy, France, 2003. (pdf)

Last modified: 23 October, 2018