彼らはさらに状況意味論に基づいて論を展開し、否定型の文(denial liar)は矛盾することなく真と確定でき、取り消し型の文(negation liar)は矛盾することなく偽と確定できるとした。