Logical Dynamics of Information and Interaction: Contents

This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents – with conversation, argumentation, and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions, and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action, and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science, and game theory. A series of further chapters explores repercussions of the ‘dynamic stance’ for these areas, as well as cognitive science.

[1]  Patrick Blackburn,et al.  Modal logic: a semantic perspective , 2007, Handbook of Modal Logic.

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

[3]  Yoav Shoham,et al.  What can a market compute , and at whatexpense ? , 1999 .

[4]  Berit Brogaard,et al.  Fitch's Paradox of Knowability , 2002 .

[5]  A. Troelstra,et al.  Constructivism in Mathematics: An Introduction , 1988 .

[6]  J.F.A.K. van Benthem Structural properties of dynamic reasoning , 2003 .

[7]  Jon Barwise,et al.  Information Flow: The Logic of Distributed Systems , 1997 .

[8]  Greg Restall,et al.  An Introduction to Substructural Logics , 2000 .

[9]  Michael E. Bratman,et al.  Shared Cooperative Activity , 1991 .

[10]  Frits Staal,et al.  Universals: Studies in Indian Logic and Linguistics , 1988 .

[11]  Fenrong Liu,et al.  Optimality, Belief and Preference , 2006 .

[12]  Tim French,et al.  Undecidability for arbitrary public announcement logic , 2008, Advances in Modal Logic.

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

[14]  J. Geanakoplos,et al.  We Can't Disagree Forever , 1982 .

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

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

[17]  J. Benthem DYNAMIC BITS AND PIECES , 1997 .

[18]  Rens Bod,et al.  Beyond Grammar: An Experience-Based Theory of Language , 1998 .

[19]  Tonya Lewis,et al.  Knowledge in Action , 1977 .

[20]  Ernest Nagel,et al.  The Structure of Science , 1962 .

[21]  J. Hintikka,et al.  Game-Theoretical Semantics , 1997 .

[22]  Barteld P. Kooi,et al.  Probabilistic Dynamic Epistemic Logic , 2003, J. Log. Lang. Inf..

[23]  Kevin T. Kelly The Learning Power of Belief Revision , 1998, TARK.

[24]  Alexandru Baltag,et al.  LQP: the dynamic logic of quantum information , 2006, Mathematical Structures in Computer Science.

[25]  Yao-Hua Tan,et al.  Dynamic Normative Reasoning Under Uncertainty: How to Distinguish Between Obligations Under Uncertainty and Prima Facie Obligations. , 2001 .

[26]  van der Hoek,et al.  Semantic Results for Ontic and Epistemic Change , 2008 .

[27]  James H. Moor,et al.  Knowledge and the Flow of Information. , 1982 .

[28]  Jing Shang,et al.  Some Thoughts on Mohist Logic , 2007 .

[29]  J.F.A.K. van Benthem,et al.  Logic in Philosophy , 2005 .

[30]  Radha Jagadeesan,et al.  Games and Full Completeness for Multiplicative Linear Logic , 1994, J. Symb. Log..

[31]  K BenthemvanJ.F.A. Where is Logic Going, and Should It? , 2005 .

[32]  Peter C. Fishburn,et al.  Theory and decision , 2003 .

[33]  Mark Jago,et al.  Logics for resource-bounded agents , 2006 .

[34]  J. Doyle,et al.  Representing Preferences as Ceteris Paribus Comparatives , 1994 .

[35]  Mark Reynolds,et al.  Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States , 2004, Advances in Modal Logic.

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

[37]  Ronald Fagin,et al.  A Nonstandard Approach to the Logical Omniscience Problem , 1990, Artif. Intell..

[38]  H. Jerome Keisler,et al.  An Impossibility Theorem on Beliefs in Games , 2006, Stud Logica.

[39]  H. Helmholtz The Facts in Perception , 1977 .

[40]  Shahid Rahman,et al.  Logic, Epistemology, and the Unity of Science , 2004, Logic, Epistemology, and the Unity of Science.

[41]  Lawrence S. Moss,et al.  Situation Theory , 1997, Handbook of Logic and Language.

[42]  Johan van Benthem,et al.  An Essay on Sabotage and Obstruction , 2005, Mechanizing Mathematical Reasoning.

[43]  Peter Gärdenfors,et al.  Semantics, conceptual spaces, and the meeting of minds , 2013, Synthese.

[44]  J. Horty Agency and Deontic Logic , 2001 .

[45]  R. Parikh The logic of games and its applications , 1985 .

[46]  S. Minica,et al.  UvA-DARE ( Digital Academic Repository ) Dynamic logic of questions , 2011 .

[47]  Dipti Srinivasan,et al.  An Introduction to Multi-Agent Systems , 2010 .

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

[49]  Alexandru Baltag,et al.  From conditional probability to the logic of doxastic actions , 2007, TARK '07.

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

[51]  Krister Segerberg,et al.  Belief Revision From the Point of View of Doxastic Logic , 1995, Log. J. IGPL.

[52]  P. Blackburn,et al.  Book Reviews: The Proper Treatment of Events, by Michiel van Lambalgen and Fritz Hamm , 2005, CL.

[53]  Robert Levy,et al.  Epistemology: An Anthology , 2001 .

[54]  Josef Hofbauer,et al.  Evolutionary Games and Population Dynamics , 1998 .

[55]  Yao-Hua Tan,et al.  An update semantics for deontic reasoning , 1999 .

[56]  Emiliano Lorini,et al.  The cognitive structure of surprise: looking for basic principles , 2007 .

[57]  Johan van Benthem,et al.  Logic Games: From Tools to Models of Interaction , 2011, Proof, Computation and Agency.

[58]  O. Roy Thinking before acting : intentions, logic, rational choice , 2008 .

[59]  Bart Geurts,et al.  Reasoning with quantifiers , 2003, Cognition.

[60]  Johan van Benthem,et al.  Logic and the Dynamics of Information , 2003, Minds and Machines.

[61]  J.F.A.K. van Benthem Rationalizations and Promises in Games , 2007 .

[62]  J.F.A.K. van Benthem,et al.  Logic at a Cross-Roads: logic and its interdisciplinary environment , 2007 .

[63]  Joseph Y. Halpern,et al.  A Logic for Reasoning about Evidence , 2002, UAI.

[64]  Robert van Rooy Questions and Relevance , 2003 .

[65]  Jeroen Groenendijk,et al.  Inquisitive Semantics: Two Possibilities for Disjunction , 2009, TbiLLC.

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

[67]  Johan van Benthem,et al.  An Extension of Game Logic with Parallel Operators , 2000 .

[68]  Salil P. Vadhan,et al.  Computational Complexity , 2005, Encyclopedia of Cryptography and Security.

[69]  S. Salvati Journal of Logic, Language and Information , 2017 .

[70]  Christoph Adami,et al.  What is information?† , 2016, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[71]  J. Jaspers Calculi for Constructive Communication , 1994 .

[72]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[73]  Robert C. Moore A Formal Theory of Knowledge and Action , 1984 .

[74]  F.J.M.M. Veltman,et al.  Logics for conditionals. , 1985 .

[75]  Dov M. Gabbay,et al.  Reactive Kripke Semantics and Arc Accessibility , 2007 .

[76]  Yoav Shoham,et al.  Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations , 2009 .

[77]  L. Kurzen A Logic for Cooperation , Actions and Preferences , 2008 .

[78]  Berislav Zarnic Validity of Practical Inference , 1999 .

[79]  Andreas Herzig,et al.  Optimal Regression for Reasoning about Knowledge and Actions , 2007, AAAI.

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

[81]  Agi Kurucz,et al.  Combining modal logics , 2007, Handbook of Modal Logic.

[82]  Stephan Kreutzer,et al.  Inflationary Fixed Points in Modal Logic , 2001, CSL.

[83]  Pierre-Yves Schobbens,et al.  Operators and Laws for Combining Preference Relations , 2002, J. Log. Comput..

[84]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[85]  Guillaume Aucher,et al.  Perspectives on belief and change , 2008 .

[86]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[87]  D. Harel Recurring dominoes: making the highly undecidable highly understandable , 1985 .

[88]  Tomohiro Hoshi,et al.  Dynamic logics of knowledge and access , 2010, Synthese.

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

[90]  Alexandru Baltag,et al.  Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points , 2009, WoLLIC.

[91]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction: Computation as conversation , 2008 .

[92]  J.F.A.K. van Benthem Wider still and wider: resetting the bounds of logic , 1998 .

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

[94]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[95]  Yde Venema,et al.  Algebras and coalgebras , 2007, Handbook of Modal Logic.

[96]  Andrzej Wiśniewski,et al.  The posing of questions , 1995 .

[97]  Robert van Rooy,et al.  Quality and Quantity of Information Exchange , 2003, J. Log. Lang. Inf..

[98]  Sergei N. Artëmov Logic of Proofs , 1994, Ann. Pure Appl. Log..

[99]  Yuri Gureoich Intuitionistic Logic , 2008 .

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

[101]  A M Turing,et al.  Computing Machinery and Intelligence A.M. Turing , 2007 .

[102]  Rudolf Carnap,et al.  The continuum of inductive methods , 1952 .

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

[104]  Samson Abramsky,et al.  Socially Responsive‚ Environmentally Friendly Logic , 2006 .

[105]  Christian List,et al.  Aggregating Sets of Judgments: Two Impossibility Results Compared1 , 2004, Synthese.

[106]  Keith Stenning,et al.  Human Reasoning and Cognitive Science , 2008 .

[107]  Graham Priest Impossible Worlds - Editor's Introduction , 1997, Notre Dame J. Formal Log..

[108]  Jonathan A. Zvesper,et al.  UvA-DARE ( Digital Academic Repository ) When all is done but not ( yet ) said : Dynamic rationality in extensive games , 2008 .

[109]  Tomasz Sadzik,et al.  Exploring the Iterated Update Universe , 2005 .

[110]  Bryan Renne,et al.  Public communication in justification logic , 2011, J. Log. Comput..

[111]  Emiliano Lorini,et al.  A Dynamic Logic of Agency I: STIT, Capabilities and Powers , 2010, J. Log. Lang. Inf..

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

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

[114]  Philipp Rohde,et al.  On games and logics over dynamically changing structures , 2005 .

[115]  Joshua Sack,et al.  Extending probabilistic dynamic epistemic logic , 2009, Synthese.

[116]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[117]  Davide Grossi,et al.  Doing Argumentation Theory in Modal Logic , 2009 .

[118]  Fenrong Liu,et al.  Diversity of Agents and Their Interaction , 2009, J. Log. Lang. Inf..

[119]  P. L. Adams THE ORIGINS OF INTELLIGENCE IN CHILDREN , 1976 .

[120]  B. Renne Proceedings of Theoretical Aspects of Rationality and Knowledge TARK 2009 , 2009 .

[121]  Leon van der Torre,et al.  Contrary‐to‐duty reasoning with preference‐based dyadic obligations , 1999, Annals of Mathematics and Artificial Intelligence.

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

[123]  Phan Minh Dung,et al.  An Argumentation-Theoretic Foundations for Logic Programming , 1995, J. Log. Program..

[124]  Plantage Muidergracht,et al.  Changing Preferences , 1995 .

[125]  Giacomo Bonanno,et al.  Branching Time, Perfect Information Games, and Backward Induction , 2001, Games Econ. Behav..

[126]  Timothy Williamson,et al.  Knowledge and Its Limits , 2000 .

[127]  Leon van der Torre,et al.  From Belief Change to Preference Change , 2008, ECAI.

[128]  Logic of information flow on communication channels , 2010, AAMAS.

[129]  Routledge,et al.  Routledge Encyclopedia of Philosophy , 1998 .

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

[131]  K BenthemvanJ.F.A. Cognition as Interaction , 2005 .

[132]  Paul Egré,et al.  Attitudes propositionnelles et paradoxes épistémiques , 2004 .

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

[134]  Alexandru Baltag Logics for insecure communication , 2001 .

[135]  Johan van Benthem,et al.  Inference, Promotion, and the Dynamics of Awareness , 2009 .

[136]  Alexandru Baltag,et al.  Probabilistic dynamic belief revision , 2008, Synthese.

[137]  Sebastian Sequoiah-Grayson Mono-Agent Dynamics , 2009, LORI.

[138]  C. Puppe,et al.  The Handbook of Rational and Social Choice , 2009 .

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

[140]  Patrick Girard,et al.  Everything else being equal: A modal logic approach to ceteris paribus preferences , 2006 .

[141]  Stephan Kreutzer Expressive equivalence of least and inflationary fixed-point logic , 2004, Ann. Pure Appl. Log..

[142]  Joseph Y. Halpern Defining Relative Likelihood in Partially-Ordered Preferential Structures , 1996, UAI.

[143]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1999 .

[144]  Brian Skyrms,et al.  The Dynamics Of Rational Deliberation , 1990 .

[145]  Denis Bonnay,et al.  Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic , 2011 .

[146]  Joseph Y. Halpern,et al.  Knowledge, probability, and adversaries , 1993, JACM.

[147]  Tomohiro Hoshi,et al.  Dynamic epistemic logic with branching temporal structures , 2009, Synthese.

[148]  Lawrence S. Moss,et al.  Vicious circles - on the mathematics of non-wellfounded phenomena , 1996, CSLI lecture notes series.

[149]  Davide Grossi,et al.  Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems , 2007 .

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

[151]  Daniel Vanderveken,et al.  Foundations of Illocutionary Logic , 1985 .

[152]  Edwin D. Mares,et al.  Relevant logic and the theory of information , 1996, Synthese.

[153]  J.F.A.K. van Benthem Cognition as Interaction , 2005 .

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

[155]  Helle Hvid Hansen,et al.  Neighbourhood Structures: Bisimilarity and Basic Model Theory , 2009, Log. Methods Comput. Sci..

[156]  Eric Pacuit,et al.  Preference based belief dynamics , 2006 .

[157]  Hans van Ditmarsch,et al.  The Russian Cards Problem , 2003, Stud Logica.

[158]  Hannes Leitgeb,et al.  Dynamic doxastic logic: why, how, and where to? , 2007, Synthese.

[159]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[160]  Sebastian Sequoiah-Grayson,et al.  Information Gain from Inference , 2007 .

[161]  J. Benthem,et al.  Epistemic Logic and Epistemology: The State of their Affairs , 2006 .

[162]  Luciano Floridi,et al.  The enduring scandal of deduction Is propositional logic really uninformative ? , 2007 .

[163]  J.F.A.K. van Benthem,et al.  Is there still Logic in Bolzano's Key? , 2003 .

[164]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[165]  Hans Rott,et al.  Change, choice and inference , 2001 .

[166]  A. Baltag,et al.  Dynamic Belief Revision over Multi-Agent Plausibility Models , 2006 .

[167]  Marciano M. Siniscalchi,et al.  Hierarchies of Conditional Beliefs and Interactive Epistemology in Dynamic Games , 1999 .

[168]  David I. Beaver,et al.  The Handbook of Logic and Language , 1997 .

[169]  Marc Pauly,et al.  Logic for social software , 2000 .

[170]  Richard Bradley,et al.  The kinematics of belief and desire , 2007, Synthese.

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

[172]  Johan van Benthem,et al.  FOR BETTER OR FOR WORSE: DYNAMIC LOGICS OF PREFERENCE , 2009 .

[173]  S. Roush Tracking Truth: Knowledge, Evidence, and Science , 2005 .

[174]  R. Aumann Agreeing to disagree. , 1976, Nature cell biology.

[175]  N. Rescher The Logic of Preference , 1968 .

[176]  P. Johnson-Laird,et al.  Psychology of Reasoning: Structure and Content , 1972 .

[177]  Johan van Benthem,et al.  McCarthy variations in a modal key , 2011, Artif. Intell..

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

[179]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.

[180]  Johan van Benthem,et al.  Interpolation, preservation, and pebble games , 1999, Journal of Symbolic Logic.

[181]  Michael Bächle,et al.  Social Software , 2006, Informatik-Spektrum.

[182]  Nuel D. Belnap,et al.  The logic of questions and answers , 1976 .

[183]  Wojciech Jamroga,et al.  Alternating-time temporal logics with irrevocable strategies , 2007, TARK '07.

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

[185]  Colin Stirling,et al.  Bisimulation, Modal Logic and Model Checking Games , 1999, Logic Journal of the IGPL.

[186]  Wolfgang Thomas Infinite Trees and Automaton Definable Relations over Omega-Words , 1990, STACS.

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

[188]  J. Hintikka Interrogative Logic as a General Theory of Reasoning , 1999 .

[189]  Wesley H. Holliday Dynamic Testimonial Logic , 2009, LORI.

[190]  Ron van der Meyden,et al.  The Dynamic Logic of Permission , 1990, J. Log. Comput..

[191]  A. Goldman Knowledge in a Social World , 1999 .

[192]  J. Michael Dunn,et al.  Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations , 1990, JELIA.

[193]  Tomoyuki Yamada,et al.  Acts of Commanding and Changing Obligations , 2006, CLIMA.

[194]  Darko Sarenac,et al.  The Geometry of Knowledge , 2003 .

[195]  Johan van Benthem,et al.  Decisions, Actions, and Games: A Logical Perspective , 2009, ICLA.

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

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

[198]  John P. Burgess,et al.  Quick completeness proofs for some logics of conditionals , 1981, Notre Dame J. Formal Log..

[199]  J.F.A.K. van Benthem,et al.  Language in Action: Categories, Lambdas and Dynamic Logic , 1997 .

[200]  Jaakko Hintikka,et al.  Logic, Language-Games And Information , 1972 .

[201]  R. Carnap Meaning and necessity : a study in semantics and modal logic , 1948 .

[202]  Nina Gierasimczuk,et al.  Learning and Teaching as a Game: A Sabotage Approach , 2009, LORI.

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

[204]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[205]  Stanley Peters,et al.  Quantifiers in language and logic , 2006 .

[206]  Darko Sarenac,et al.  Modal Logic for Qualitative Dynamics , 2011 .

[207]  D. Lewis Desire as Belief , 1988 .

[208]  Johan van Benthem,et al.  Modal Fixed-Point Logic and Changing Models , 2008, Pillars of Computer Science.

[209]  Johan van Benthem,et al.  Logic and Reasoning: do the facts matter? , 2008, Stud Logica.

[210]  Yanjing Wang,et al.  Dynamic epistemic verification of security protocols: framework and case study , 2007 .

[211]  Jonathan A. Zvesper Playing with information , 2010 .

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

[213]  J.F.A.K. van Benthem,et al.  Actions that make us know , 2009 .

[214]  Yiannis N. Moschovakis,et al.  Elementary induction on abstract structures , 1974 .

[215]  Valentin Goranko,et al.  Complete axiomatization and decidability of Alternating-time temporal logic , 2006, Theor. Comput. Sci..

[216]  Vincent F. Hendricks,et al.  Active Agents , 2003, J. Log. Lang. Inf..

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

[218]  K Williams,et al.  Tell it like it is. , 1996, Nursing standard (Royal College of Nursing (Great Britain) : 1987).

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

[220]  Robert van Rooy,et al.  SIGNALLING GAMES SELECT HORN STRATEGIES , 2004 .

[221]  Johan van Benthem,et al.  The logic of empirical theories revisited , 2012, Synthese.

[222]  Gerhard Lakemeyer,et al.  The Situation Calculus: A Case for Modal Logic , 2010, J. Log. Lang. Inf..

[223]  Markus Knauff,et al.  How our brains reason logically , 2007 .

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

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

[226]  Jan-Willem Romeijn,et al.  Proceedings of the Foundations of the Formal Sciences VI: Reasoning about probabilities and probabilistic reasoning , 2008 .

[227]  Saharon Shelah,et al.  Fixed-point extensions of first-order logic , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).

[228]  E. Nagel Meaning and Necessity. A Study in Semantics and Modal Logic , 1948 .

[229]  Sieuwert Maarten van Otterloo,et al.  A strategic analysis of multi-agent protocols , 2005 .

[230]  B. D. Bruin,et al.  Explaining games : on the logic of game theoretic explanations , 2004 .

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

[232]  Yoav Shoham,et al.  Essentials of Game Theory: A Concise Multidisciplinary Introduction , 2008, Essentials of Game Theory: A Concise Multidisciplinary Introduction.

[233]  R. Thomason,et al.  A Theory of Conditionals in the Context of Branching Time , 1980 .

[234]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[235]  Robin I. M. Dunbar Grooming, Gossip and the Evolution of Language , 1996 .

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

[237]  Johan van Benthem,et al.  Handbook of Spatial Logics , 2007 .

[238]  Leon van der Torre,et al.  Hidden Uncertainty in the Logical Representation of Desires , 2003, IJCAI.

[239]  Johan van Benthem,et al.  Toward a Dynamic Logic of Questions , 2009, J. Philos. Log..

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

[241]  J. Beall,et al.  Logical pluralism , 2000 .

[242]  Hans van Ditmarsch,et al.  What will they say?—Public Announcement Games , 2011, Synthese.

[243]  Neil D. Jones,et al.  Blindfold Games are Harder than Games with Perfect Information , 1977 .

[244]  H. James Hoover,et al.  A Compendium of Problems Complete for P , 1991 .

[245]  Jonathan Ginzburg,et al.  The interactive stance : meaning for conversation , 2012 .

[246]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[247]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[248]  Davide Grossi,et al.  Twelve Angry Men: A Study on the Fine-Grain of Announcements , 2009, LORI.

[249]  Oliver J. Board,et al.  Belief Revision and Rationalizability , 1998, TARK.

[250]  Craig Boutilier,et al.  Revision by Conditional Beliefs , 1993, AAAI.

[251]  P. Lorenzen Einführung in die operative Logik und Mathematik , 1955 .

[252]  Andreas Herzig,et al.  ALTERNATIVE AXIOMATICS AND COMPLEXITY OF DELIBERATIVE STIT THEORIES , 2007, J. Philos. Log..

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

[254]  Andreas Herzig,et al.  A STIT-Extension of ATL , 2006, JELIA.

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

[256]  Nina Gierasimczuk Bridging learning theory and dynamic epistemic logic , 2009, Synthese.

[257]  John-Jules Ch. Meyer,et al.  A Logical Approach to the Dynamics of Commitments , 1999, Artif. Intell..

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

[259]  Cristiano Castelfranchi,et al.  The role of beliefs in goal dynamics: prolegomena to a constructive theory of intentions , 2007, Synthese.

[260]  Rob van Glabbeek,et al.  Handbook of Process Algebra , 2001 .

[261]  J.F.A.K. van Benthem Categorial versus modal information theory , 2010 .

[262]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

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

[264]  Marion Kee,et al.  Analysis , 2004, Machine Translation.

[265]  Johan van Benthem,et al.  Conditional Probability Meets Update Logic , 2003, J. Log. Lang. Inf..

[266]  Floor Sietsma,et al.  Multi-agent Belief Revision with Linked Plausibilities , 2010 .

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

[268]  Johan van Benthem LOGICAL PLURALISM MEETS LOGICAL DYNAMICS , 2008 .

[269]  J. McCarthy Situations, Actions, and Causal Laws , 1963 .

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

[271]  J.F.A.K. van Benthem Invariance and Definability: two faces of logical constants , 2002 .

[272]  Tomasz Sadzik,et al.  Beliefs Revealed in Bayesian-Nash Equilibrium , 2008 .

[273]  J. Barwise,et al.  Visual information and valid reasoning , 1991 .

[274]  Barbara Dunin-Keplicz,et al.  Collective Intentions , 2002, Fundam. Informaticae.

[275]  Hans Rott,et al.  INFORMATION STRUCTURES IN BELIEF REVISION , 2008 .

[276]  Ronen I. Brafman,et al.  Towards Knowledge-Level Analysis of Motion Planning , 1993, AAAI.

[277]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[278]  Hannes Leitgeb,et al.  Non-monotonic and uncertain reasoning in cognition' , 2005 .

[279]  Jan M. Broersen,et al.  A stit-Logic for Extensive Form Group Strategies , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[280]  Vincent F. Hendricks,et al.  Mainstream and formal epistemology , 2005 .

[281]  Giacomo Bonanno,et al.  Memory and perfect recall in extensive games , 2004, Games Econ. Behav..

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

[283]  Peter Øhrstrøm,et al.  Temporal Logic , 1994, Lecture Notes in Computer Science.

[284]  Johan van Benthem Guards, Bounds, and Generalized Semantics , 2005, J. Log. Lang. Inf..

[285]  Rohit Parikh,et al.  Reasoning about Communication Graphs , 2007 .

[286]  Tim French,et al.  Awareness and Forgetting of Facts and Agents , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[287]  Edward Nelson,et al.  Syntax and Semantics , 1974 .

[288]  Joshua Sack,et al.  Temporal Languages for Epistemic Programs , 2008, J. Log. Lang. Inf..

[289]  J. van Benthem,et al.  Editorial Logic and Psychology , 2007 .

[290]  Balder ten Cate,et al.  The partition semantics of questions, syntactically , 2002, ArXiv.

[291]  F. V. Quesada,et al.  Small steps in dynamics of information , 2011 .

[292]  Eric Pacuit,et al.  First-Order Classical Modal Logic , 2006, Stud Logica.

[293]  Sergiu Hart Five Questions on Game Theory , 2007 .

[294]  Joseph Y. Halpern A computer scientist looks at game theory , 2002, Games Econ. Behav..

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

[296]  M. Rabin Decidability of second-order theories and automata on infinite trees , 1968 .

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

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

[299]  Krzysztof R. Apt,et al.  The Many Faces of Rationalizability , 2006, ArXiv.

[300]  Wiebe van der Hoek,et al.  Modal logic for games and information , 2007, Handbook of Modal Logic.

[301]  Rineke Verbrugge,et al.  Logic and Social Cognition , 2009, J. Philos. Log..

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

[303]  Anne Condon,et al.  Computational models of games , 1989, ACM distinguished dissertations.

[304]  Jstor The journal of economic perspectives , 1987 .

[305]  Merlijn Sevenster,et al.  Branches of imperfect information : logic, games, and computation , 2002 .

[306]  Craig Boutilier,et al.  Conditional Logics of Normality: A Modal Approach , 1994, Artif. Intell..

[307]  John-Jules Ch. Meyer,et al.  Group knowledge is not always distributed (neither is it always implicit) ? ? This is an improved an , 1999 .

[308]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

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

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

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

[312]  Ernest Sosa What is a Logical Constant , 1974 .

[313]  Eduardo L. Fermé,et al.  Belief Revision , 2007, Inteligencia Artif..

[314]  Andreas Witzel,et al.  Common knowledge in interaction structures , 2009, TARK '09.

[315]  P. Martin-Löf On the meanings of the logical constants and the justi cations of the logical laws , 1996 .

[316]  Corina Cîrstea,et al.  Relating Algebraic and Coalgebraic Logics of Knowledge and Update , 2006 .

[317]  Dag Westerståhl,et al.  Logic, rational agency, and intelligent interaction , 2009 .

[318]  Y. Shoham Introduction to Multi-Agent Systems , 2002 .

[319]  Fahiem Bacchus,et al.  Representing and reasoning with probabilistic knowledge - a logical approach to probabilities , 1991 .

[320]  Alexandru Baltag,et al.  Talking Your Way into Agreement: Belief Merge by Persuasive Communication , 2009, MALLOW.

[321]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

[322]  Jaakko Hintikka,et al.  On Semantic Information , 1970 .

[323]  Jan-Willem Romeijn Meaning, shifts and conditioning , 2009 .

[324]  Mark Ryan,et al.  Defaults and revision in structured theories , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[325]  J.F.A.K. van Benthem,et al.  Open Problems in Update Logic , 2006 .

[326]  Johan van Benthem,et al.  Merging Observation and Access in Dynamic Logic , 2008 .

[327]  R. Giles A non-classical logic for physics , 1974 .

[328]  Krister Segerberg,et al.  Default Logic as Dynamic Doxastic Logic , 1999 .

[329]  J. Benthem,et al.  Diversity of Logical Agents in Games , 2004 .

[330]  Pierpaolo Battigalli,et al.  Recent results on belief, knowledge and the epistemic foundations of game theory , 1999 .

[331]  B. Hansson An analysis of some deontic logics , 1969 .

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

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

[334]  Maricarmen Martinez,et al.  The Stories of Logic and Information , 2006 .

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

[336]  Y. Shoham Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[337]  Guido Boella,et al.  Normative framework for normative system change , 2009, AAMAS 2009.

[338]  Sebastian Sequoiah-Grayson,et al.  A positive information logic for inferential information , 2009, Synthese.

[339]  Yoav Shoham,et al.  Logical Theories of Intention and the Database Perspective , 2009, J. Philos. Log..

[340]  R. Sugden The Logic of Team Reasoning , 2003 .

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

[342]  Alexandru Baltag,et al.  A Dynamic-Logical Perspective on Quantum Behavior , 2008, Stud Logica.