TY  - RPRT
TI  - Modal logical aspects of provability predicates and consistency statements
AU  - Haruka Kogure
AU  - Taishi Kurahashi
PY  - 2026
UR  - https://arxiv.org/abs/2511.15531
ID  - 2511.15531
ER  -