Multi-agent Justification Logic: communication and evidence elimination

This paper presents a logic combining Dynamic Epistemic Logic, a framework for reasoning about multi-agent communication, with a new multi-agent version of Justification Logic, a framework for reasoning about evidence and justification. This novel combination incorporates a new kind of multi-agent evidence elimination that cleanly meshes with the multi-agent communications from Dynamic Epistemic Logic, resulting in a system for reasoning about multi-agent communication and evidence elimination for groups of interacting rational agents.

[1]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

[2]  Bryan Renne.  Simple Evidence Elimination in Justification Logic , 2011 .

[3]  Johan van Benthem,et al.  Dynamic Logics of Evidence-Based Beliefs , 2011, Stud Logica.

[4]  J. Benthem,et al.  Logics of communication and change , 2006 .

[5]  Fernando R. Velázquez-Quesada,et al.  Inference and update , 2009, Synthese.

[6]  Alexandru Baltag,et al.  A qualitative theory of dynamic interactive belief revision , 2008 .

[7]  Sergei N. Artëmov,et al.  Dynamic epistemic logic with justification , 2008 .

[8]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[9]  Melvin Fitting,et al.  The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..

[10]  Bryan Renne,et al.  Public and private communication are different: results on relative expressivity , 2008, Synthese.

[11]  S. Shelah,et al.  Annals of Pure and Applied Logic , 1991 .

[12]  Jelle Gerbrandy,et al.  Reasoning about Information Change , 1997, J. Log. Lang. Inf..

[13]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[14]  Alexey Mkrtychev,et al.  Models for the Logic of Proofs , 1997, LFCS.

[15]  Melvin Fitting,et al.  Reasoning with Justifications , 2009, Towards Mathematical Philosophy.

[16]  Sergei N. Artëmov,et al.  Complexity issues in justification logic , 2008 .

[17]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[18]  A. Baltag,et al.  EPISTEMIC LOGIC AND INFORMATION UPDATE , 2008 .

[19]  Ludomir Newelski,et al.  Logic Colloquium 2005 (Lecture Notes in Logic) , 2007 .

[20]  Sergei N. Artëmov.  Justification Logic , 2008, JELIA.

[21]  Johan van Benthem,et al.  "ONE IS A LONELY NUMBER": LOGIC AND COMMUNICATION , 2006 .

[22]  Dirk Siefkes,et al.  Association For Symbolic Logic , 2000, Bulletin of Symbolic Logic.

[23]  Sergei N. Artëmov.  THE LOGIC OF JUSTIFICATION , 2008, The Review of Symbolic Logic.

[24]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[25]  Joshua Sack,et al.  Dynamic Epistemic Temporal Logic , 2009, LORI.

[26]  Sergei N. Artëmov,et al.  Introducing Justification into Epistemic Logic , 2005, J. Log. Comput..

[27]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[28]  Johan van Benthem,et al.  Dynamic Logics of Evidence-Based Belief , 2011 .

[29]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[30]  Joshua Sack,et al.  Justified belief change , 2010 .

[31]  Tatiana Yavorskaya,et al.  Interacting Explicit Evidence Systems , 2008, Theory of Computing Systems.

[32]  E. Pacuit,et al.  Logics of Rational Interaction , 2011 .

[33]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[34]  Tatiana Yavorskaya.  Multi-agent Explicit Knowledge , 2006, CSR.

[35]  B. Renne.  A Survey of Dynamic Epistemic Logic , 2008 .

[36]  Sergei N. Artëmov.  Explicit provability and constructive semantics , 2001, Bull. Symb. Log..

[37]  Johan van Benthem,et al.  Dynamic logic of preference upgrade , 2007, J. Appl. Non Class. Logics.

[38]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[39]  Thomas Studer,et al.  Partial Realization in Dynamic Justification Logic , 2011, WoLLIC.