Reasoning about proof and knowledge

Steffen Lewitzka. Reasoning about proof and knowledge. Annals of Pure and Applied Logic, 170(2):218-250, 2019. [doi]

Abstract

Abstract is missing.