Models for the Logic of Possible Proofs
Leon Horsten · Pacific philosophical quarterly · 2000
The present paper investigates the logical structure of possible proofs. We present and philosophically motivate a class of possible proof models that describes in some detail the modal-epistemic propositional logical structure of possible proofs. This class of models is then recursively axiomatized.