1 paper
Taishi Kurahashi, Kohei Tominaga
We revisit Smullyan's paper ``Truth and Provability'' (2013) for three purposes. First, we introduce the notion of Smullyan models to give a precise definition for Smullyan's frame…