TY  - RPRT
TI  - An $ω$-rule for the logic of provability and its models
AU  - Katsumi Sasaki
AU  - Yoshihito Tanaka
PY  - 2023
UR  - https://arxiv.org/abs/2002.04782
ID  - 2002.04782
ER  -