TY  - RPRT
TI  - Smullyan's truth and provability
AU  - Taishi Kurahashi
AU  - Kohei Tominaga
PY  - 2025
DO  - 10.1093/logcom/exaf001
UR  - https://arxiv.org/abs/2410.17895
ID  - 2410.17895
ER  -