Smullyan's truth and provability. - Taishi Kurahashi; Kohei Tominaga (J. Log. Comput., 2025)