TY  - RPRT
TI  - Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics
AU  - Anupam Das
AU  - Iris van der Giessen
AU  - Sonia Marin
PY  - 2023
UR  - https://arxiv.org/abs/2309.00532
ID  - 2309.00532
ER  -