TY  - RPRT
TI  - Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations
AU  - Guram Bezhanishvili
AU  - Kristina Brantley
AU  - Julia Ilin
PY  - 2021
UR  - https://arxiv.org/abs/2103.11480
ID  - 2103.11480
ER  -