Denial Logic

Florian Lengyel, Benoit St-Pierre

Denial Logic DL, a system of justification logic, is the logic of an agent whose justified beliefs are false, who cannot avow his own propositional attitudes or believe tautologies…