TY - RPRT TI - Modal definability in Kripke's theory of truth AU - James Walsh PY - 2025 UR - https://arxiv.org/abs/2406.17091 ID - 2406.17091 ER -