1 citations to 10.21146/2074-1472-2015-21-1-86-99 (Crossref Cited-By Service)

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