TY - RPRT TI - Binary Kripke Semantics for a Strong Logic for Naive Truth AU - Ben Middleton PY - 2020 DO - 10.1017/s175502032000043x UR - https://arxiv.org/abs/2001.00936 ID - 2001.00936 ER -