TY  - RPRT
TI  - Kripke trick and decidability of monadic fragments of modal and superintuitionistic logics
AU  - M. Rybakov
AU  - D. Shkatov
PY  - 2023
UR  - https://arxiv.org/abs/2307.02805
ID  - 2307.02805
ER  -