TY  - RPRT
TI  - Completeness of the Gödel-Löb provability logic for the filter sequence of normal measures
AU  - Mohammad Golshani
AU  - Reihane Zoghifard
PY  - 2023
UR  - https://arxiv.org/abs/2110.02786
ID  - 2110.02786
ER  -