@misc{indiciaeea5ee84a23e2, title = {Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames}, author = {I. Agadzhanian and M. Rybakov and D. Shkatov}, year = {2023}, url = {https://arxiv.org/abs/2306.13559}, note = {Source identifier: 2306.13559} }