Explicit Proofs in Formal Provability Logic.

Evan Goris

Browse the full LFCS paper archive.