暂无分享,去创建一个
[1] Tatiana Yavorskaya,et al. Logic of proofs and provability , 2001, Ann. Pure Appl. Log..
[2] Vladimir Krupski,et al. Operational Logic of Proofs with Functionality Condition on Proof Predicate , 1997, LFCS.
[3] Sergei N. Artëmov,et al. Functionality in the Basic Logic of Proofs , 1993 .
[4] Sergei N. Artëmov. Explicit provability and constructive semantics , 2001, Bull. Symb. Log..
[5] Timothy Williamson. A note on Gettier cases in epistemic logic , 2015 .
[6] Alexey Mkrtychev,et al. Models for the Logic of Proofs , 1997, LFCS.
[7] Melvin Fitting,et al. The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..
[8] Sergei N. Artëmov. Logic of Proofs , 1994, Ann. Pure Appl. Log..
[9] Sergei Artemov,et al. Knowing the Model , 2016, 1610.04955.