Iris van der Giessen, Rosalie Iemhoff. Sequent Calculi for Intuitionistic Gödel-Löb Logic. Notre Dame Journal of Formal Logic, 62(2), 2021. [doi]
@article{GiessenI21, title = {Sequent Calculi for Intuitionistic Gödel-Löb Logic}, author = {Iris van der Giessen and Rosalie Iemhoff}, year = {2021}, doi = {10.1215/00294527-2021-0011}, url = {https://doi.org/10.1215/00294527-2021-0011}, researchr = {https://researchr.org/publication/GiessenI21}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {62}, number = {2}, }