Simple Evidence Elimination in Justification Logic
暂无分享,去创建一个
[1] Melvin Fitting,et al. The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..
[2] Melvin Fitting,et al. Reasoning with Justifications , 2009, Towards Mathematical Philosophy.
[3] Sergei N. Artëmov,et al. Complexity issues in justification logic , 2008 .
[4] Sergei N. Artëmov. Justification Logic , 2008, JELIA.
[5] Sergei N. Artëmov. Explicit provability and constructive semantics , 2001, Bull. Symb. Log..
[6] Anil Nerode,et al. Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings , 1994, LFCS.
[7] Sergei N. Artëmov. THE LOGIC OF JUSTIFICATION , 2008, The Review of Symbolic Logic.
[8] Sergei N. Artëmov,et al. Dynamic epistemic logic with justification , 2008 .
[9] Alexey Mkrtychev,et al. Models for the Logic of Proofs , 1997, LFCS.