Modeling Reasoning in a Social Setting

In this survey and position paper, we discuss some issues in logical modeling of interactive behavior. We draw together a number of lines in current logics for social action, emphasizing uses of ‘small models’ rather than complex spaces.

[1]  Cristina Bicchieri,et al.  Common Knowledge and Backward Induction: A Solution to the Paradox , 1988, TARK.

[2]  Cristina Bicchieri,et al.  Backward Induction without Common Knowledge , 1988, PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association.

[3]  Joseph Y. Halpern,et al.  The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds , 1989, J. Comput. Syst. Sci..

[4]  Colin Stirling,et al.  Modal and temporal logics , 1993, LICS 1993.

[5]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[6]  R. Aumann Backward induction and common knowledge of rationality , 1995 .

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

[8]  Kevin T. Kelly The Logic of Reliable Inquiry , 1996 .

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

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

[11]  Robert Stalnaker Extensive and strategic forms: Games and models for games , 1999 .

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

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

[14]  Pierpaolo Battigalli,et al.  Strong Belief and Forward Induction Reasoning , 2002, J. Econ. Theory.

[15]  Johan van Benthem,et al.  Extensive Games as Process Models , 2002, J. Log. Lang. Inf..

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

[17]  Alex Pentland,et al.  Facing the future , 2003, 2003 IEEE International SOI Conference. Proceedings (Cat. No.03CH37443).

[18]  Michael Wooldridge,et al.  Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications , 2003, Stud Logica.

[19]  Michael Wooldridge,et al.  Knowledge as Strategic Ability , 2004, LCMAS.

[20]  Dominique Longin,et al.  C&L Intention Revisited , 2004, KR.

[21]  Olivier Roy,et al.  Preference logic, conditionals and solution concepts in games , 2005 .

[22]  Johan van Benthem,et al.  The Tree of Knowledge in Action: Towards a Common Perspective , 2006, Advances in Modal Logic.

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

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

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

[26]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[27]  Giacomo Bonanno,et al.  Axiomatic characterization of the AGM theory of belief revision in a temporal logic , 2007, Artif. Intell..

[28]  Eric Pacuit,et al.  Some comments on history based structures , 2007, J. Appl. Log..

[29]  Johan van Benthem,et al.  Rational Dynamics and Epistemic Logic in Games , 2007, IGTR.

[30]  Johan van Benthem,et al.  The information in intuitionistic logic , 2009, Synthese.

[31]  Johan van Benthem,et al.  Bridges between Dynamic Doxastic and Doxastic Temporal Logics , 2008, LOFT.

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

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

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

[35]  Johan van Benthem,et al.  Epistemic dynamics and protocol information , 2009 .

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

[37]  Jonathan A. Zvesper,et al.  Keep ‘hoping’ for rationality: a solution to the backward induction paradox , 2009, Synthese.

[38]  Olivier Roy,et al.  Agreement Theorems in Dynamic-Epistemic Logic , 2009, TARK '09.

[39]  Nina Gierasimczuk,et al.  UvA-DARE ( Digital Academic Repository ) Knowing one ' s limits : logical analysis of inductive inference , 2010 .

[40]  C. Degrémont The temporal mind : observations on the logic of belief change in interactive systems , 2010 .

[41]  Johan van Benthem,et al.  Game Solution, Epistemic Dynamics and Fixed-Point Logics , 2010, Fundam. Informaticae.

[42]  P. Turrini Strategic Reasoning in Interdependence: Logical and Game-Theoretical Investigations , 2011 .

[43]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction: Contents , 2014 .

[44]  Emiliano Lorini,et al.  An Epistemic Logic of Extensive Games , 2011, M4M/LAMAS.

[45]  Olivier Roy,et al.  A Dynamic Analysis of Interactive Rationality , 2011, LORI.

[46]  Andreas Witzel,et al.  The synchronicity of dynamic epistemic logic , 2011, TARK XIII.

[47]  Johan van Benthem,et al.  In Praise of Strategies , 2012, Games, Actions and Social Software.

[48]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction , 2014 .

[49]  Johan van Benthem,et al.  Logic in Games , 2014 .

[50]  Andrés Perea,et al.  Belief in the opponents' future rationality , 2014, Games Econ. Behav..