Justified belief change
暂无分享,去创建一个
[1] Sergei N. Artëmov. Explicit provability and constructive semantics , 2001, Bull. Symb. Log..
[2] Tatiana Yavorskaya,et al. Interacting Explicit Evidence Systems , 2008, Theory of Computing Systems.
[3] Sergei N. Artëmov. THE LOGIC OF JUSTIFICATION , 2008, The Review of Symbolic Logic.
[4] Joshua Sack,et al. Logic for update products and steps into the past , 2010, Ann. Pure Appl. Log..
[5] S. Shelah,et al. Annals of Pure and Applied Logic , 1991 .
[6] Melvin Fitting,et al. The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..
[7] Melvin Fitting. Realizations and LP , 2009, Ann. Pure Appl. Log..
[8] Melvin Fitting,et al. Reasoning with Justifications , 2009, Towards Mathematical Philosophy.
[9] Joshua Sack,et al. Temporal Languages for Epistemic Programs , 2008, J. Log. Lang. Inf..
[10] Bryan Renne,et al. Public communication in justification logic , 2011, J. Log. Comput..
[11] Joshua Sack,et al. Dynamic Epistemic Temporal Logic , 2009, LORI.
[12] Thomas Studer,et al. Explicit Evidence Systems with Common Knowledge , 2010, ArXiv.
[13] Jeremy Avigad. Review: Sergei N. Artemov, Explicit Provability and Constructive Semantics , 2002, Bulletin of Symbolic Logic.
[14] Sergei N. Artëmov. Justified common knowledge , 2006, Theor. Comput. Sci..
[15] Hans van Ditmarsch,et al. The Secret of My Success , 2005, Synthese.
[16] J. Gerbrandy. Bisimulations on Planet Kripke , 1999 .
[17] W. Hoek,et al. Dynamic Epistemic Logic , 2007 .
[18] Bryan Renne,et al. Evidence elimination in multi-agent justification logic , 2009, TARK '09.
[19] Sergei N. Artëmov,et al. Introducing Justification into Epistemic Logic , 2005, J. Log. Comput..
[20] Jan A. Plaza,et al. Logics of public communications , 2007, Synthese.
[21] Sergei N. Artëmov,et al. Dynamic epistemic logic with justification , 2008 .
[22] Jelle Gerbrandy,et al. Reasoning about Information Change , 1997, J. Log. Lang. Inf..
[23] H. Kurokawa,et al. From the Knowability Paradox to the existence of proofs , 2010, Synthese.