- Modal logic and its applications in computer science
- First-order modal and intuitionistic logic
- Algebraic logic
- Substructural logics

**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.**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.**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.**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.**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)**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).-
**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). **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)**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)**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.)**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.)**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)**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)**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.**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.**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.**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)**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)**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