Dmitry Shkatov's research page

Research interests:

Publications:

  1. Modal logics for reasoning about infinite unions and intersections of binary relations (with Natasha Alechina and Philippe Balbiani). To appear in Journal of Applied Non-Classical Logics (pdf).
  2. Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge (with Mai Ajspur and Valentin Goranko). To appear in Logic Journal of IGPL (pdf).
  3. 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)
  4. 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)
  5. 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.)
  6. 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.)
  7. 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)
  8. 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)
  9. 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.
  10. 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.
  11. 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.
  12. 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)
  13. 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)
  14. On decidability of intuitionistic modal logics (with Natasha Alechina). In Proceeding of Methods for Modalities 3 (M4M2003). Nancy, France, 2003. (pdf)

Last modified: Thu Sep 27 09:41:13 SAST 2012