Making knowledge explicit: How hard it is
暂无分享,去创建一个
[1] Helmut Schwichtenberg,et al. Basic proof theory , 1996, Cambridge tracts in theoretical computer science.
[2] Stephen Cook,et al. Corrections for "On the lengths of proofs in the propositional calculus preliminary version" , 1974, SIGA.
[3] Melvin Fitting,et al. The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..
[4] Sergei N. Artëmov,et al. Logic of knowledge with justifications from the provability perspective. , 2004 .
[5] Sergei N. Artëmov. Evidence-Based Common Knowledge , 2005 .
[6] Sergei N. Artëmov. Explicit provability and constructive semantics , 2001, Bull. Symb. Log..
[7] Sergei N. Artëmov. Kolmogorov and Gödel's approach to intuitionistic logic: current developments , 2004 .
[8] Jeremy Avigad. Review: Sergei N. Artemov, Explicit Provability and Constructive Semantics , 2002, Bulletin of Symbolic Logic.
[9] Sergei N. Artemovy. Operational Modal Logic , 1995 .
[10] S. Shelah,et al. Annals of Pure and Applied Logic , 1991 .
[11] Alexey Mkrtychev,et al. Models for the Logic of Proofs , 1997, LFCS.