5 citations to 10.1093/jigpal/jzy018 (Crossref Cited-By Service)

1. Mikhail Rybakov, Dmitry Shkatov, “Undecidability of QLTL and QCTL with two variables and one monadic predicate letter”, LI, 27, № 2, 2021, 93  
2. M. Rybakov, “Computational Complexity of the Word Problem in Modal and Heyting Algebras with a Small Number of Generators”, Russ Math., 66, № 5, 2022, 33  
3. Mikhail Rybakov, Dmitry Shkatov, 11187, Theoretical Aspects of Computing – ICTAC 2018, 2018, 396  
4. Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingolfsdottir, “Complexity through Translations for Modal Logic with Recursion”, Electron. Proc. Theor. Comput. Sci., 370, 2022, 34  
5. Mikhail Rybakov, Dmitry Shkatov, Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2018, 313