TY  - RPRT
TI  - Completeness and Incompleteness for Expanding Gödel-Löb Logics
AU  - Somayeh Chopoghloo
AU  - David Fernández-Duque
AU  - Joost J. Joosten
AU  - Sofía Santiago-Fernández
PY  - 2026
UR  - https://arxiv.org/abs/2606.20229
ID  - 2606.20229
ER  -