TY  - RPRT
TI  - Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames
AU  - I. Agadzhanian
AU  - M. Rybakov
AU  - D. Shkatov
PY  - 2023
UR  - https://arxiv.org/abs/2306.13559
ID  - 2306.13559
ER  -