Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations. - Kristina Brantley (Bull. Symb. Log., 2020)

Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations. - Guram Bezhanishvili; Kristina Brantley; Julia Ilin (J. Symb. Log., 2023)