collaborators

1 paper

math.LO2019

Self-referentiality in Justification Logic

Nathan Sebastian Gass, Thomas Studer

The Logic of Proofs, LP, and other justification logics can have self-referential justifications of the form t:A. Such self-referential justifications are necessary for the realiza…