Ha examinado la paradoja del mentiroso en conexión con la semántica de Tarski, la relación entre la paradoja y el teorema de incompletitud de Gödel y ha estudiado la propuesta formulada por Kripke.