A modal logic internalizing normal proofs
暂无分享,去创建一个
[1] S. Buss. Handbook of proof theory , 1998 .
[2] Sungwoo Park. Type-safe higher-order channels in ML-like languages , 2007, ICFP '07.
[3] P. Martin-Löf. On the meanings of the logical constants and the justi cations of the logical laws , 1996 .
[4] Sergei N. Artëmov,et al. Reflective lambda-Calculus , 2001, Proof Theory in Computer Science.
[5] D.H.J. de Jongh,et al. The logic of the provability , 1998 .
[6] W. V. Quine,et al. Natural deduction , 2021, An Introduction to Proof Theory.
[7] G. Boolos. The logic of provability , 1993 .
[8] Xin Yu,et al. A computational approach to reflective meta-reasoning about languages with bindings , 2005, MERLIN '05.
[9] Frank Pfenning,et al. A judgmental reconstruction of modal logic , 2001, Mathematical Structures in Computer Science.
[10] Robert L. Constable,et al. The semantics of reflected proof , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.