Dynamic Epistemic Logic

The appendix to the chapter on dynamics supplements the chapter with an overview of dynamic epistemic logic: a branch of logic mainly developed in the decade after the first edition of this handbook was published. Dynamic epistemic logic is an extension of epistemic logic (the logic of knowledge), which focusses on information change, such as communication, usually involving more than one agent. The information of the agents includes information about each other's information, socalled higher-order information. The appendix consists of three parts. In the first part an example scenario is presented which can be captured by dynamic epistemic logic. The second part is a historical overview of the main approaches in dynamic epistemic logic is presented. The last part is a look towards the future which attempts to connect ideas from dynamic approaches to language with dynamic epistemic logic.

[1]  Johan van Benthem.  Logics for information update , 2001 .

[2]  Krister Segerberg.  Irrevocable Belief Revision in Dynamic Doxastic Logic , 1998, Notre Dame J. Formal Log..

[3]  J. Groenendijk,et al.  Coreference and modality , 1996 .

[4]  Andreas Herzig,et al.  From Situation Calculus to Dynamic Epistemic Logic , 2011, J. Log. Comput..

[5]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[6]  Csr Young,et al.  How to Do Things With Words , 2009 .

[7]  John Cantwell,et al.  Some Logics of Iterated Belief Change , 1999, Stud Logica.

[8]  Joseph Y. Halpern,et al.  Complete Axiomatizations for Reasoning about Knowledge and Time , 2002, SIAM J. Comput..

[9]  Jan van Eijck,et al.  Dynamic epistemic modelling , 2004 .

[10]  Barteld Kooi.  Knowledge, chance, and change , 2003 .

[11]  Michael Dummett,et al.  Fitch's Paradox of Knowability , 2009 .

[12]  Frederic Brenton Fitch,et al.  A logical analysis of some value concepts , 1963, Journal of Symbolic Logic.

[13]  Carsten Lutz,et al.  Complexity and succinctness of public announcement logic , 2006, AAMAS '06.

[14]  J. Sadock.  Speech acts , 2007 .

[15]  Paul Gochet,et al.  The Dynamic Turn in Twentieth Century Logic , 2002, Synthese.

[16]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[17]  Joshua Sack,et al.  Adding temporal logic to dynamic epistemic logic , 2007 .

[18]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[19]  J. Benthem.  One is a Lonely Number: on the logic of communication , 2003 .

[20]  W. Hoek,et al.  Epistemic logic: a survey , 2002 .

[21]  John Hughes,et al.  Report on the Programming Language Haskell 98 , 1999 .

[22]  Patrick Girard,et al.  Modal logic for belief and preference change , 2008 .

[23]  Gerard R. Renardel de Lavalette,et al.  Changing Modalities , 2004, J. Log. Comput..

[24]  Thomas Andreas Meyer,et al.  Refined Epistemic Entrenchment , 2000, J. Log. Lang. Inf..

[25]  Guillaume Aucher,et al.  A Combined System for Update Logic and Belief Revision , 2004, PRIMA.

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

[27]  François Schwarzentruber,et al.  On the Complexity of Dynamic Epistemic Logic , 2013, TARK.

[28]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[29]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[30]  L. Moss.  From Hypersets to Kripke Models in Logics of Announcements , 1999 .

[31]  N. Malcolm.  On Knowledge and Belief , 1954 .

[32]  Johan van Benthem,et al.  New Essays on the Knowability Paradox , 2010 .

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

[34]  Hans van Ditmarsch,et al.  Prolegomena to Dynamic Logic for Belief Revision , 2005, Synthese.

[35]  Willem Groeneveld,et al.  Logical Investigations into Dynamic Semantics , 1995 .

[36]  Oliver Board,et al.  Dynamic interactive epistemology , 2004, Games Econ. Behav..

[37]  John R. Searle,et al.  Speech Acts: An Essay in the Philosophy of Language , 1970 .

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

[39]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[40]  Ron van der Meyden,et al.  Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall , 1996, PRICAI Workshop on Intelligent Agent Systems.

[41]  Fenrong Liu,et al.  Changing for the better : preference dynamics and agent diversity , 2008 .

[42]  Noël Laverny.  Révision, mise à jour et planification en logique doxastique graduelle , 2006 .

[43]  Joris Hulstijn.  Presupposition accommodation in a constructive update semantics. , 2000 .

[44]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[45]  Alexandru Baltag,et al.  Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades , 2009, TARK '09.

[46]  Johan van Benthem,et al.  Open Problems in Logical Dynamics , 2006 .

[47]  Krister Segerberg,et al.  Two Traditions in the Logic of Belief: Bringing them Together , 1999 .

[48]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[49]  Wiebe van der Hoek,et al.  Dynamic epistemic logic with assignment , 2005, AAMAS '05.

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

[51]  Wiebe van der Hoek,et al.  On the succinctness of some modal logics , 2013, Artif. Intell..

[52]  Wesley H. Holliday,et al.  Moorean Phenomena in Epistemic Logic , 2010, Advances in Modal Logic.

[53]  Johan van Benthem,et al.  Dynamic Update with Probabilities , 2009, Stud Logica.

[54]  Mehrnoosh Sadrzadeh,et al.  Epistemic Actions as Resources , 2007, J. Log. Comput..

[55]  C. F. M. Vermeulen,et al.  Merging without mystery or: Variables in dynamics semantics , 1991, J. Philos. Log..

[56]  Wiebe van der Hoek,et al.  Everything is Knowable - How to Get to Know Whether a Proposition is True , 2012 .

[57]  Andreas Herzig,et al.  From DEL to EDL : Exploring the Power of Converse Events , 2007, ECSQARU.

[58]  Rineke Verbrugge,et al.  Model Checking Sum and Product , 2005, Australian Conference on Artificial Intelligence.

[59]  Hilary Putnam,et al.  A Computing Procedure for Quantification Theory , 1960, JACM.

[60]  Giacomo Bonanno,et al.  A Simple Modal Logic for Belief Revision , 2005, Synthese.

[61]  Jan van Eijck,et al.  Action emulation , 2012, Synthese.

[62]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[63]  Mark E. Stickel,et al.  Implementing the Davis–Putnam Method , 2000, Journal of Automated Reasoning.

[64]  Donald W. Loveland,et al.  A machine program for theorem-proving , 2011, CACM.

[65]  Jaroslav Peregrin.  Meaning : the dynamic turn , 2003 .

[66]  Simona Orzan,et al.  Modeling the epistemics of communication with functional programming , 2005 .

[67]  Jelle Gerbrandy,et al.  The Surprise Examination in Dynamic Epistemic Logic , 2007, Synthese.

[68]  David Chaum,et al.  The dining cryptographers problem: Unconditional sender and recipient untraceability , 1988, Journal of Cryptology.

[69]  Sten Lindström,et al.  Ddl Unlimited: Dynamic Doxastic Logic for Introspective Agents , 1999 .

[70]  Johan van Benthem,et al.  Semantic Parallels in Natural Language and Computation , 1989 .

[71]  W. van der Hoek,et al.  Concurrent Dynamic Epistemic Logic , 2003 .

[72]  Alexandru Baltag,et al.  Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision , 2006, WoLLIC.

[73]  Jan van Eijck,et al.  DEMO — A Demo of Epistemic Modelling , 2007 .

[74]  Joseph Y. Halpern,et al.  A Knowledge-Based Framework for Belief change, Part I: Foundations , 1994, TARK.

[75]  Mark Ryan,et al.  An algorithmic approach to knowledge evolution , 1999, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[76]  Yanjing Wang,et al.  Propositional Dynamic Logic as a Logic of Belief Revision , 2008, WoLLIC.

[77]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[78]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[79]  Rohit Parikh,et al.  Logics of Knowledge, Games and Dynamic Logic , 1984, FSTTCS.

[80]  D.J.N. vanEijck,et al.  Dynamic modal predicate logic , 1992 .

[81]  Barteld Kooi,et al.  Dynamic term-modal logic , 2007 .

[82]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

[83]  Emden R. Gansner,et al.  Drawing graphs with dot , 2006 .

[84]  Maria Aloni,et al.  Quantification under Conceptual Covers , 2001 .

[85]  Sébastien Konieczny,et al.  Merging Information Under Constraints: A Logical Framework , 2002, J. Log. Comput..

[86]  Yoav Shoham,et al.  Logics of Knowledge and Belief , 2008 .

[87]  Jan van Eijck.  Guarded Actions , 2004 .

[88]  Yanjing Wang,et al.  Verifying epistemic protocols under common knowledge , 2009, TARK '09.

[89]  Robert E. Tarjan,et al.  Three Partition Refinement Algorithms , 1987, SIAM J. Comput..

[90]  Jan van Eijck,et al.  The gamut of dynamic logics , 2006, Logic and the Modalities in the Twentieth Century.

[91]  Jan van Eijck,et al.  Reducing Dynamic Epistemic Logic to PDL by Program Transformation , 2004 .

[92]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[93]  S C Kleene,et al.  Representation of Events in Nerve Nets and Finite Automata , 1951 .

[94]  Ondrej Majer,et al.  Logic of Questions and Public Announcements , 2009, TbiLLC.

[95]  H. V. Ditmarsch.  The semantics of actions in knowledge games , 1999 .

[96]  K. Segerberg.  A completeness theorem in the modal logic of programs , 1982 .

[97]  Andreas Herzig,et al.  ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ , 2008, The Review of Symbolic Logic.

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

[99]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[100]  Heikki Tuominen.  Translations from Epistemic into Dynamic Logic , 1988, ECAI.

[101]  Hans van Ditmarsch,et al.  Descriptions of Game Actions , 2002, J. Log. Lang. Inf..

[102]  Richmond H. Thomason,et al.  Abstraction in First‐Order Modal Logic1 , 2008 .

[103]  J. Benthem.  Games in dynamic epistemic logic , 2001 .

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

[105]  Alexandru Baltag,et al.  A Logic for Suspicious Players: Epistemic Actions and Belief-Updates in Games , 2000 .

[106]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[107]  Johan van Benthem,et al.  Merging Frameworks for Interaction , 2009, J. Philos. Log..

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

[109]  Tomoyuki Yamada.  Logical dynamics of some speech acts that affect obligations and preferences , 2008, Synthese.

[110]  John E. Hopcroft,et al.  An n log n algorithm for minimizing states in a finite automaton , 1971 .

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

[112]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[113]  Ji Ruan,et al.  Exploring the Update Universe , 2004 .

[114]  Christos H. Papadimitriou,et al.  Elements of the Theory of Computation , 1997, SIGA.

[115]  Hans van Ditmarsch,et al.  The Secret of My Success , 2006, Synthese.

[116]  B. D. ten Cate,et al.  Internalizing epistemic actions , 2002 .

[117]  T. Gonen,et al.  Questions , 1927, Journal of Family Planning and Reproductive Health Care.

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

[119]  Johan van Benthem,et al.  Reduction axioms for epistemic actions , 2004 .

[120]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[121]  Johan van Benthem,et al.  What one may come to know , 2004 .

[122]  Lawrence S. Moss,et al.  The Undecidability of Iterated Modal Relativization , 2005, Stud Logica.

[123]  Ranier Lang,et al.  Questions as Epistemic Requests , 1978 .

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

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

[126]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[127]  D. Gabbay,et al.  Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic , 1986 .

[128]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[129]  Mehrnoosh Sadrzadeh,et al.  Algebra and Sequent Calculus for Epistemic Actions , 2005, LCMAS.