1 citations to https://www.mathnet.ru/rus/vtpmk25

1. Mikhail Rybakov, “Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness”, Logic Journal of the IGPL, 2023