Logical Dynamics of Information and Interaction

Johan van Benthem

doi:10.1017/CBO9780511974533

References

Abramsky, S. 2006 ‘Socially Responsive, Environmentally Friendly Logic’Aho, T.Pietarinen, A.-V.Truth and Games: Essays in Honour of Gabriel SanduActa Philosophica Fennica17

Abramsky, S. 2008 ‘Information, Processes and Games’Adriaans, P.van Benthem, J.Handbook of the Philosophy of InformationAmsterdamElsevier Science Publishers483

Abramsky, S.Jagadeesan, R. 1992 ‘Games and Full Completeness for Multiplicative Linear Logic’Journal of Symbolic Logic 59 543

Adriaans, P.van Benthem, J. 2008 Handbook of the Philosophy of InformationAmsterdamElsevier

d'Agostino, M.Floridi, L. 2007 ‘The Enduring Scandal of Deduction. Is Propositional Logic Really Uninformative?Synthese 167 2009 271

Ågotnes, T.van Benthem, J.van Ditmarsch, H.Minica, S. 2010 ‘Question Answer Games’University of Toulouse

Ågotnes, T.van Ditmarsch, H. 2009 ‘What Will They Say? Public Announcement Games’University of Bergen & University of SevilleTsukubaJapan

Ågotnes, T.Goranko, V.Jamroga, W. 2007 ‘Alternating-Time Temporal Logics with Irrevocable Strategies’Samet, D.Proceedings of TARK IXUniv. Saint-LouisBrussels15

Aiello, M.Pratt, I.van Benthem, J. 2007 Handbook of Spatial LogicsDordrechtSpringer Academic Publishers

Alur, R.Henzinger, T.Kupferman, O. 1997 ‘Alternating-Time Temporal Logic’Proceedings of the 38th IEEE Symposium on Foundations of Computer ScienceFlorida100

Anand, P.Pattanaik, P.Puppe, C. 2009 The Handbook of Rational and Social ChoiceOxford University Press

Andréka, H.van Benthem, J.Németi, I. 1998 ‘Modal Logics and Bounded Fragments of Predicate Logic’Journal of Philosophical Logic 27 217

Andréka, H.Ryan, M.Schobbens, P.-Y. 2002 ‘Operators and Laws for Combining Preference Relations’Journal of Logic and Computation 12 13

Apt, K. 2005 ‘The Many Faces of Rationalizability', CWI AmsterdamBerkeley Electronic Journal of Theoretical Economics 7

Apt, K.van Rooij, R. 2007 Proceedings KNAW Symposium on Games and InteractionAmsterdam University Press

Apt, K.Witzel, A.Zvesper, J. 2009

Arlo-Costa, H.Pacuit, E. 2006 ‘First-Order Classical Modal Logic’Studia Logica 84 171

Artemov, S. 1994 ‘Logic of Proofs’Annals of Pure and Applied Logic 67 29

Artemov, S. 2001 ‘Explicit Provability and Constructive Semantics’Bulletin of Symbolic Logic 7 1

Artemov, S. 2007 ‘Justification Logic’Technical Report TR-2007019CUNY Graduate CenterNew York

Aucher, G. 2004 ‘A Combined System for Update Logic and Belief Revision’Master of Logic ThesisUniversity of Amsterdam

Aucher, G. 2008 ‘Perspectives on Belief and Change’DissertationIRITToulouse

Aucher, G. 2009 ‘BMS Revisited’Heifetz, A.Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK 2009)Stanford24

Aumann, R. 1976 ‘Agreeing to Disagree’The Annals of Statistics 4 1236

Axelrod, R. 1984 The Evolution of CooperationNew YorkBasic Books

Bacchus, F. 1990 Representing and Reasoning with Probabilistic Knowledge, A Logical Approach to ProbabilitiesCambridge (Mass.The MIT Press

Baggio, G.van Lambalgen, M.Hagoort, P. 2007 ‘Language, Linguistics and Cognition’Stokhof, M.Groenendijk, J.Handbook of the Philosophy of LinguisticsAmsterdamElsevier

Balbiani, P.Baltag, A.van Ditmarsch, H.Herzig, A.Hoshi, T.de Lima, T. 2008 ‘Knowable as Known after an Announcement’Review of Symbolic Logic 1 305

Balbiani, P.Herzig, A.Troquard, N. 2007 ‘Alternative Axiomatics and Complexity of Deliberative STIT Theories’IRITToulouse

Baltag, A. 2001 van Benthem, J.

Baltag, A. 2002 ‘A Logic for Suspicious Players: Epistemic Actions and Belief Update in Games’Bulletin of Economic Research 54 1

Baltag, A.van Benthem, J.Smets, S. 2010 A Dynamic-Logical Approach to EpistemologyUniversities of OxfordAmsterdam, and Groningen

Baltag, A.van Ditmarsch, H.Moss, L. 2008 ‘Epistemic Logic and Information Update’Adriaans, P.van Benthem, J.Handbook of the Philosophy of InformationAmsterdamElsevier Science Publishers361

Baltag, A.Gierasimczuk, N.Smets, S. 2010 ‘For Tracking the Truth, Keep Revising Your Beliefs’Invited lecture at NASSLLI 2010Bloomington

Baltag, A.Moss, L. 2004 ‘Logics for Epistemic Programs’Synthese: Knowledge, Rationality, and Action 2 165

Baltag, A.Moss, L.Solecki, S. 1998 ‘The Logic of Public Announcements, Common Knowledge and Private Suspicions’Proceedings TARK 199843Morgan Kaufmann PublishersLos Altos

Baltag, A.Smets, S. 2004 ‘The Logic of Quantum Programs’Mathematical Structures in Computer Science 16 491

Baltag, A.Smets, S. 2006 ‘Dynamic Belief Revision over Multi-Agent Plausibility Models’Bonanno, G.van der Hoek, W.Wooldridge, M.Proceedings LOFT '06University of Liverpool11

Baltag, A.Smets, S. 2007 ‘From Conditional Probability to the Logic of Doxastic Actions’Proceedings TARK XIUCL Presses Universitaires de Louvain52

Baltag, A.Smets, S. 2007 ‘Probabilistic Dynamic Belief Revision’van Benthem, J.Ju, S.Veltman, F.A Meeting of the MindsLondonCollege Publications21

Baltag, A.Smets, S. 2008 ‘A Qualitative Theory of Dynamic Interactive Belief Revision’Bonanno, G.van der Hoek, W.Wooldridge, M.Texts in Logic and Games Vol. 3Amsterdam University Press9

Baltag, A.Smets, S. 2008 ‘A Dynamic-Logical Perspective on Quantum Behavior’Studia Logica 89 185

Baltag, A.Smets, S. 2009 ‘Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades’Proceedings TARK XIIStanford41

Baltag, A.Smets, S. 2009 ‘Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points’Kanazawa, M.Ono, H.de Queiroz, R.LNAI Lecture Notes in Computer Science 5514 124

Baltag, A.Smets, S. 2009 ‘Talking Your Way into Agreement: Belief Merge by Persuasive Communication’CEUR Workshop Proceedings 494 129

Baltag, A.Smets, S. 2010 ‘Surprise?! An Answer to the Hangman, or How to Avoid Unexpected Exams!’University of Oxford and University of Groningen

Baltag, A.Smets, S.Zvesper, J. 2008 ‘When All is Done but not (yet) Said: Dynamic Rationality in Extensive Games’van Benthem, J.Pacuit, E.Proceedings of the Workshop on Logic and Intelligent InteractionESSLLI 200858

Baltag, A.Gierasimczuk, N.Smets, S. 2010 ‘For Tracking the Truth, Keep Revising Your Beliefs’Invited Lecture at NASSLLI 2010Indiana UniversityBloomington

Bar-Hillel, Y.Carnap, R. 1953 ‘Semantic Information’The British Journal for the Philosophy of Science 4 147

Barwise, J. 1985 ‘Three Theories of Common Knowledge’Proceedings TARK IISan FranciscoMorgan Kauffman365

Barwise, J.van Benthem, J. 1999 ‘Interpolation, Preservation, and Pebble Games’Journal of Symbolic Logic 64 881

Barwise, J.Etchemendy, J. 1991 ‘Visual Information and Valid Reasoning’Visualization in Teaching and Learning MathematicsWashington, DCMathematical Association of America9

Barwise, J.Moss, L. 1996 Vicious Circles: On the Mathematics of Non-Wellfounded PhenomenaStanfordCSLI Publications

Barwise, J.Perry, J. 1983 Situations and AttitudesCambridge (Mass.)The MIT Press

Barwise, J.Seligman, J. 1995 Information Flow, the Logic of Distributed SystemsCambridge University Press

Battigalli, P.Bonanno, G. 1999 ‘Recent Results on Belief, Knowledge and the Epistemic Foundations of Game Theory’Research in Economics 53 149

Battigalli, P.Siniscalchi, M. 1999 ‘Hierarchies of Conditional Beliefs and Interactive Epistemology in Dynamic Games’Journal of Economic Theory 88 188

Beall, J.Restall, G. 2006 Logical PluralismOxford University Press

Belnap, N.Perloff, M.Xu, M. 2001 Facing the FutureOxford University Press

Belnap, N.Steele, Th. 1976 The Logic of Questions and AnswersNew HavenYale University Press

van Benthem, J. 1984 ‘Correspondence Theory’Gabbay, D.Guenthner, F.Handbook of Philosophical LogicDordrechtReidel167

van Benthem, J. 1989 ‘Semantic Parallels in Natural Language and Computation’Ebbinghaus, H.-D.Logic Colloquium. Granada 1987AmsterdamNorth-Holland331

van Benthem, J. 1991 Language in Action: Categories, Lambdas and Dynamic LogicAmsterdamNorth-Holland & Cambridge (Mass.), The MIT Press

van Benthem, J. 1993 ‘Reflections on Epistemic Logic’Logique et Analyse 34 5

van Benthem, J. 1996 Exploring Logical DynamicsStanfordCSLI Publications

van Benthem, J. 1997 ‘Dynamic Bits and Pieces’ILLC, University of Amsterdam

van Benthem, J. 1999 Logic in Gameslecture notes, ILLC, University of Amsterdam

van Benthem, J. 1999 ‘Update as Relativization’ILLC, University of Amsterdam

van Benthem, J. 1999 ‘Wider Still and Wider: Resetting the Bounds of Logic’Varzi, A.The European Review of PhilosophyStanfordCSLI Publications21

van Benthem, J. 2000 ‘Update Delights’Invited Lecture, ESSLLI Summer SchoolUniversity of Birmingham

van Benthem, J. 2001 ‘Games in Dynamic Epistemic Logic’Bulletin of Economic Research 53 219

van Benthem, J. 2002 ‘Extensive Games as Process Models’Journal of Logic, Language and Information 11 289

van Benthem, J. 2002 Sieg, W.Sommer, R.Talcott, C.

van Benthem, J. 2003 ‘Conditional Probability Meets Update Logic’Journal of Logic, Language and Information 12 409

van Benthem, J. 2003 Morscher, E.

van Benthem, J. 2003 ‘Logic and the Dynamics of Information’Minds and Machines 13 503

van Benthem, J. 2003 ‘Structural Properties of Dynamic Reasoning’Peregrin, J.Meaning: the Dynamic TurnAmsterdamElsevier15

van Benthem, J. 2004 Update and Revision in Gameslecture notesILLCAmsterdam & Philosophy Stanford

van Benthem, J. 2004 ‘What One May Come to Know’Analysis 64 95

van Benthem, J. 2005 ‘An Essay on Sabotage and Obstruction’Hutter, D.Mechanizing Mathematical Reasoning, Essays in Honor of Jörg Siekmann on the Occasion of his 60th BirthdaySpringer268

van Benthem, J. 2005 ‘Guards, Bounds, and Generalized Semantics’Journal of Logic, Language and Information 14 263

van Benthem, J. 2005 Moss, L.

van Benthem, J. 2006 ‘Epistemic Logic and Epistemology: the State of their Affairs’Philosophical Studies 128 49

van Benthem, J. 2006 ‘One is a Lonely Number: on the Logic of Communication’Chatzidakis, Z.Koepke, P.Pohlers, W.Logic Colloquium '02ASL & A.K. PetersWellesley MA96

van Benthem, J. 2006 ‘Open Problems in Update Logic’Gabbay, D.Goncharov, S.Zakharyashev, M.Mathematical Problems from Applied Logic ISpringerNew York & Novosibirsk137

van Benthem, J.Pacuit, E. 2007 ‘Modeling Protocols in Temporal Models’ILLCUniversity of Amsterdam

van Benthem, J. 2007 ‘Cognition as Interaction’Bouma, G.Krämer, I.Zwarts, J.Cognitive Foundations of InterpretationKNAWAmsterdam27

van Benthem, J. 2007 ‘Dynamic Logic of Belief Revision’Journal of Applied Non-Classical Logics 17 129

van Benthem, J. 2007 In Praise of Strategies’van Eijck, J.Verbrugge, R.Games, Actions, and Social SoftwareLondonCollege Publications

van Benthem, J. 2007 ‘Logic Games, From Tools to Models of Interaction’Gupta, A.Parikh, R.van Benthem, J.Logic at the CrossroadsMumbaiAllied Publishers283

van Benthem, J. 2007 ‘Logic in Philosophy’Jacquette, D.Handbook of the Philosophy of LogicAmsterdamElsevier65

van Benthem, J. 2007 ‘Rational Dynamics’International Game Theory Review 9 13

van Benthem, J. 2007 ‘Rationalizations and Promises in Games’Philosophical TrendsChinese Academy of Social SciencesBeijing1

van Benthem, J. 2008 ‘Computation as Conversation’Cooper, B.Löwe, B.Sorbi, A.New Computational Paradigms: Changing Conceptions of What is ComputableNew YorkSpringer35

van Benthem, J. 2008 ‘Logic and Reasoning: Do the Facts Matter?’Studia Logica 88 67

van Benthem, J. 2008 ‘Logic, Rational Agency, and Intelligent Interaction’Glymour, C.Wei, W.Westerståhl, D.Logic, Methodology and Philosophy of Science XIII Beijing 2007LondonCollege Publications

van Benthem, J. 2008 ‘Logical Pluralism Meets Logical Dynamics’Australasian Journal of Logic 6 1

van Benthem, J. 2008 ‘Merging Observational and Access Dynamics in Logic’Journal of Logic Studies 1

van Benthem, J. 2008

van Benthem, J. 2009 ‘Actions that Make Us Know’Salerno, J.New Essays on the Knowability ParadoxOxford University Press129

van Benthem, J. 2009 ‘Decisions, Actions, and Games: a Logical Perspective’Ramanujam, R.Sarukkai, S.Proceedings of the Third Indian Conference on Logic and its Applications ICLA 2009Springer1

van Benthem, J. 2009 ‘For Better of for Worse: Dynamic Logics of Preference’Grüne-Yanoff, T.Hansson, S.-O.Preference ChangeDordrechtSpringer57

van Benthem, J. 2009 ‘McCarthy Variations in a Modal Key’University of Amsterdam

van Benthem, J. 2009 ‘The Information in Intuitionistic Logic’Synthese 167 251

van Benthem, J. 2009 ‘Update as Social Choice’Girard, P.Marion, M.Roy, O.Proceedings Dynamics Workshop Montreal 2007Springer

van Benthem, J. 2010 ‘A Logician Looks at Argumentation Theory’CogencySantiago de Chili

van Benthem, J. 2010 ‘Categorial versus Modal Information Theory’Linguistic Analysis 36 533

van Benthem, J. 2010 ‘Logic, Mathematics, and General Agency’Bour, P. E.Rebuschi, M.Rollell, L.LondonCollege Publications281

van Benthem, J. 2010

van Benthem, J. 2010 ‘Two Kinds of Dynamics in Logic’University of Stuttgart

van Benthem, J.

van Benthem, J.Modal Logic for Open MindsStanfordCSLI Publications

van Benthem, J.Blackburn, P. 2006 ‘Modal Logic, a Semantic Perspective’van Benthem, J.Blackburn, P.Wolter, F.Handbook of Modal LogicAmsterdamElsevier1

van Benthem, J.Dégrémont, C. 2008 ‘Multi-Agent Belief Dynamics: bridges between dynamic doxastic and doxastic temporal logics’Bonanno, G.van der Hoek, W.Löwe, B.Postproceedings Lecture Notes in Computer Science Vol. 6006, LOFT 08Texts in Logic and Games, HeidelbergSpringer

van Benthem, J.van Eijck, J.Frolova, A. 1993 Changing PreferencesCentre for Mathematics & Computer ScienceAmsterdam

van Benthem, J.van Eijck, J.Kooi, B. 2006 ‘Logics of Communication and Change’Information and Computation 204 1620

van Benthem, J.Gerbrandy, J.Hoshi, T.Pacuit, E. 2007 ‘Merging Frameworks for Interaction’Proceedings TARK 2007 38 491

van Benthem, J.Gerbrandy, J.Kooi, B. 2006 ‘Dynamic Update with Probabilities’University of AmsterdamStudia Logica 93 67

van Benthem, J.Gheerbrant, A. 2010 ‘Game Solution, Epistemic Dynamics, and Fixed-Point Logics’Fundamenta Informaticae 100 19

van Benthem, J.Girard, P.Roy, O. 2009 ‘Everything Else Being Equal. A Modal Logic Approach to Ceteris Paribus Preferences’Journal of Philosophical Logic 38 83www.pgrim.org/philosophersannual/index.html

van Benthem, J.Grossi, D.Liu, F. 2010 ‘Deontics = Betterness + Priority’Governatori, G.Sartor, G.Deontic Logic in Computer ScienceSpringer50

van Benthem, J.Ikegami, D. 2008 ‘Modal Fixed-Point Logic and Changing Models’Avron, A.Dershowitz, N.Rabinovich, A.Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of his 85th BirthdayBerlinSpringer146

van Benthem, J.Kooi, B. 2004 ‘Reduction Axioms for Epistemic Actions’Proceedings Advances in Modal Logic 2004Department of Computer Science, University of ManchesterSchmidt, RenatePratt-Hartmann, IanReynolds, MarkWansing, Heinrich197

van Benthem, J.Liu, F. 2004 ‘Diversity of Logical Agents in Games’Philosophia Scientiae 8 163

van Benthem, J.Liu, F. 2007 ‘Dynamic Logic of Preference Upgrade’Journal of Applied Non-Classical Logics 17 157

van Benthem, J.Martinez, M. 2008 ‘The Stories of Logic and Information’Adriaans, P.van Benthem, J.Handbook of the Philosophy of InformationAmsterdamElsevier Science Publishers217

van Benthem, J.Minica, S. 2009 ‘Toward a Dynamic Logic of Questions’He, X.Horty, J.Pacuit, E.Logic, Rationality, and Interaction: Proceedings LORI II ChongqingSpringer Lecture Notes in Artificial Intelligence27

van Benthem, J.ter Meulen, A. 1997 Handbook of Logic and LanguageAmsterdamElsevier Science Publishers

van Benthem, J.Muskens, R.Visser, A 1996 ‘Dynamics’van Benthem, J.ter Meulen, A.Handbook of Logic and LanguageAmsterdamElsevier587

van Benthem, J.van Otterloo, S.Roy, O. 2006 ‘Preference Logic, Conditionals, and Solution Concepts in Games’Lagerlund, H.Lindström, S.Sliwinski, R.Modality MattersUniversity of Uppsala61

van Benthem, J.Pacuit, E. 2006 ‘The Tree of Knowledge in Action’Proceedings Advances in Modal LogicANU Melbourne87

van Benthem, J.Pacuit, E. 2007 ‘Modeling Protocols in Temporal Models’ILLCUniversity of Amsterdam.

van Benthem, J.Pacuit, E. 2010 ‘Temporal Logics of Agency’Journal of Logic, Language and Information 19 1

van Benthem, J.Pacuit, E. 2011

van Benthem, J.Sarenac, D. 2005 ‘The Geometry of Knowledge’Béziau, J.-Y.Costa Leite, A.Facchini, A.Aspects of Universal LogicCentre de Recherches Sémiologiques, Université de Neuchatel1

van Benthem, J.Velázquez-Quesada, F. 2009 ‘Inference, Promotion, and the Dynamics of Awareness’ILLCAmsterdam

Bergstra, J.Ponse, A.Smolka, S. 2001 Handbook of Process AlgebraAmsterdamElsevier

Blackburn, P.van Benthem, J.Wolter, F. 2006 Handbook of Modal LogicAmsterdamElsevier

Blackburn, P.de Rijke, M.Venema, Y. 2000 Modal LogicCambridge University Press

Board, O. 1998 ‘Belief Revision and Rationalizability’Proceedings TARK 1998 201

Bod, R. 1998 Beyond Grammar: An Experience-Based Theory of LanguageStanfordCSLI Publications

Boella, G.Pigozzi, G.van der Torre, L. 1999 Sierra, C.

Bolzano, B. 1837 Wissenschaftslehre, Seidelsche Buchhandlung, SulzbachGeorge, R.Berkeley & Los AngelesUniversity of California Press1972

Bonanno, G. 2001 ‘Branching Time, Perfect Information Games, and Backward Induction’Games and Economic Behavior 36 57

Bonanno, G. 2004 ‘Memory and Perfect Recall in Extensive Games’Games and Economic Behaviour 47 237

Bonanno, G. 2007 ‘Axiomatic Characterization of the theory of Belief Revision in a Temporal Logic’Artificial Intelligence 171 144

Bonnay, D. 2006 What is a Logical Constant?École Normale SupérieureParis

Bonnay, D.Égré, P. 2007 ‘Knowing One's Limits; An Analysis in Centered Dynamic Epistemic Logic’University of ParisGirard, P.Marion, M.Roy, O.Proceedings Dynamics Montreal 2007

Boutilier, C. 1994 ‘Conditional Logics of Normality; A Modal Approach’Artificial Intelligence 68 87

Boutilier, C.Goldszmidt, M. 1993 ‘Revision by Conditional Beliefs’Proceedings AAAI 11Washington DCMorgan Kaufmann649

Bradfield, J.Stirling, C. 2006 Blackburn, P.van Benthem, J.Wolter, F.

Bradley, R. 2007 ‘The Kinematics of Belief and Desire’Synthese 156 513

Brafman, R.Latombe, J.-C.Shoham, Y. 1993 ‘Towards Knowledge-Level Analysis of Motion Planning’Proceedings AAAI 1993 670

Brandenburger, A.Keisler, H. J. 2006 ‘An Impossibility Theorem on Beliefs in Games’Studia Logica 84 211

Bratman, M. 1992 ‘Shared Cooperative Activity’The Philosophical Review 101 327

Broersen, J. 2009

Broersen, J.Herzig, A.Troquard, N. 2006 ‘A -Extension of Proceedings JELIA 2006 69

Brogaard, B.Salerno, J. 2002 http://plato.stanford.edu/entries/fitch-paradox/

de Bruin, B. 2004 Explaining Games: on the Logic of Game Theoretic ExplanationsILLC, University of Amsterdam

Burgess, J. 1981 ‘Quick Completeness Proofs for some Logics of Conditionals’Notre Dame Journal of Formal Logic 22 76

Carnap, R. 1952 The Continuum of Inductive MethodsUniversity of Chicago Press

Castelfranchi, C.Paglieri, F. 2007 ‘The Role of Beliefs in Goal Dynamics: Prolegomena to a Constructive theory of Intentions’Synthese 155 237

ten Cate, B.Shan, Ch-ch 2002 Nissim, Malvina

Cohen, P.Levesque, H. 1990 ‘Intention is Choice with Commitment’Artificial Intelligence 42 213

Condon, A. 1988 Computational Models of GamesComputer Science Department, University of Washington

Cornelisse, I. 2010 ‘Dynamic Doxastic Probability Logic’Dynamics SeminarILLCUniversity of Amsterdam

van Dalen, D. 2002 ‘Intuitionistic Logic’Gabbay, D.Guenthner, F.Handbook of Philosophical LogicDordrechtKluwer1

Dawar, A.Grädel, E.Kreutzer, S. 2004 ‘Inflationary Fixed Points in Modal Logic'ACM Transactions on Computational Logic 5 282

Dechesne, F.Wang, Y. 2007 ‘Dynamic Epistemic Verification of Security Protocols’van Benthem, J.Ju, S.Veltman, F.A Meeting of the MindsLondonCollege Publications129

Dégrémont, C. 2010 The Temporal Mind: Observations on Belief Change in Temporal SystemsILLC, University of Amsterdam

Dégrémont, C.Roy, O. 2009 ‘Agreement Theorems in Dynamic Epistemic Logic’Heifetz, A.Proceedings TARK 2009Stanford91

Demey, L. 2010 Agreeing to Disagree in Probabilistic Dynamic Epistemic LogicILLCUniversity of Amsterdam

Demey, L. 2010 ‘Some Remarks on the Model Theory of Epistemic Plausibility Models’Dynamics SeminarILLCUniversity of Amsterdam

van Ditmarsch, H. 2000 Knowledge GamesILLC University of Amsterdam & Department of Informatics, University of Groningen

van Ditmarsch, H. 2003 ‘The Russian Cards Problem’Studia Logica 75 31

van Ditmarsch, H.French, T. 2009 ‘Awareness and Forgetting of Facts and Agents’Boldi, P.Vizzari, G.Pasi, G.Baeza-Yates, R.Proceedings of the WI-IAT Workshops 2009IEEE Press478

van Ditmarsch, H.Herzig, A.de Lima, T. 2007 ‘Optimal Regression for Reasoning about Knowledge and Actions’Bonanno, G.Delgrande, J.Lang, J.Rott, H.Formal Models of Belief Change in Rational AgentsSchloss DagstuhlGermany 2007

van Ditmarsch, H.van der Hoek, W.Kooi, B. 2007 Dynamic-Epistemic LogicBerlinSpringer

van Ditmarsch, H.Kooi, B. 2006 ‘The Secret of My Success’Synthese 151 201

van Ditmarsch, H.Kooi, B. 2008 ‘Semantic Results for Ontic and Epistemic Change’Bonanno, G.van der Hoek, W.Wooldridge, M.Proceedings LOFT VIIAmsterdam University Press87

Dosen, K.Schroeder-Heister, P. 1993 Substructural LogicsOxford University Press

Doyle, J.Wellman, M. 1994 ‘Representing Preferences as Ceteris Paribus Comparatives’Decision-Theoretic Planning: Papers from the 1994 Spring {AAAI} SymposiumMenlo Park (Calif.)AAAI Press69

Dretske, F. 1981 Knowledge and the Flow of InformationUniversity of Chicago Press

Dummett, M. 1977 Elements of lntuitionismOxford University Press

Dunbar, R. 1998 Grooming, Gossip, and the Evolution of LanguageCambridge (Mass)Harvard University Press

Dung, P. 1995 ‘An Argumentation-Theoretic Foundation for Logic Programming’Journal of Logic Programming 22 151

Dunin-Keplicz, B.Verbrugge, R. 2002 ‘Collective Intentions’Fundamenta Informaticae 51 271

Dunn, M. 1991 ‘Gaggle Theory: An abstraction of Galois connections and Residuation, with applications to Negation, Implication, and various Logical Operators’van Eijck, J.Logics in AI (Amsterdam, 1990)BerlinSpringer31

Ebbinghaus, H.-D.Flum, J. 1995 Finite Model TheoryBerlinSpringer

van Eijck, J. 2005 ‘DEMO - A Demo of Epistemic Modelling’van Benthem, J.Gabbay, D.Loewe, B.Interactive LogicAmsterdam University Press305

van Eijck, J.Ruan, J.Sadzik, T. 2006 ‘Action Emulation’CWIAmsterdam

van Eijck, J.Sietsma, F. 2009 ‘Multi-Agent Belief Revision with Linked Plausibilities’Proceedings LOFT VIIIAmsterdam

van Eijck, J.Sietsma, F.Wang, Y. 2009 ‘Logic of Information Flow on Communication Channels’CWIAmsterdamhttp://loriweb.org/

van Emde Boas, P. 2002 Models for Games and Complexitylecture notesILLCAmsterdam

Endriss, U.Lang, J. 2006 Proceedings of the First International Workshop on Computational Social ChoiceILLCUniversity of Amsterdamhttp://www.illc.uva.nl/~ulle/COMSOC-2006/

Fagin, R.Halpern, J.Moses, Y.Vardi, M. 1995 Reasoning about KnowledgeCambridge (Mass.)The MIT Press

Fagin, R.Halpern, J. 1993 ‘Reasoning about Knowledge and Probability’Journal of the ACM 41 340

Fagin, R.Halpern, J.Vardi, M. 1990 ‘A Nonstandard Approach to the Logical Omniscience Problem’Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Third TARK ConferenceLos AltosMorgan Kaufmann41

Feinberg, Y. 2007 ‘Meaningful Talk’van Benthem, J.Ju, S.Veltman, F.A Meeting of the MindsLondonCollege Publications41

Fitelson, B. 2006 ‘Old Evidence, Logical Omniscience & Bayesianism’Lecture ILLC Workshop Probability and LogicDepartment of Philosophy, University of California at Berkeley

French, T.van Ditmarsch, H. 2008 ‘Undecidability for Arbitrary Public Announcement Logic’Areces, C.Goldblatt, R.Proceedings Advances in Modal Logic VIILondonCollege Publications23

Gabbay, D. 1996 Labeled Deductive SystemsOxfordClarendon Press

Gabbay, D. 2008 ‘Reactive Kripke Semantics and Arc Accessibility’Avron, A.Dershowitz, N.Rabinovich, A.Pillars of Computer Science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthdayBerlinSpringer292

Gabbay, D.Guenthner, F. 1983 Handbook of Philosophical LogicDordrechtKluwer Academic Publishers

Gabbay, D.Hogger, C.Robinson, J. 1995 Handbook of Logic in Artificial Intelligence and Logic ProgrammingOxford University Press

Gabbay, D.Woods, J. 2004 Handbook of Logic and ArgumentationAmsterdamElsevier Science Publishers

Gärdenfors, P. 1988 Knowledge in FluxCambridge (Mass.)Bradford Books/The MIT Press

Gärdenfors, P.Rott, H. 1995 Gabbay, D. M.Hogger, C. J.Robinson, J. A.

Gärdenfors, P.Warglien, M. 2007 ‘Semantics, Conceptual Spaces, and the Meeting of Minds’LUCS Cognitive Science Centre, University of Lund

Geanakoplos, J. 1992 ‘Common Knowledge’The Journal of Economic Perspectives 6 53

Geanakoplos, J.Polemarchakis, H. 1982 ‘We Can't Disagree Forever’Journal of Economic Theory 28 192

Gerbrandy, J. 1999 Bisimulations on Planet KripkeILLC, University of Amsterdam

Gerbrandy, J. 1999 ‘Dynamic Epistemic Logic’Moss, L. S.Ginzburg, J.de Rijke, M.Logic, Language and ComputationStanfordCSLI Publications67

Gerbrandy, J. 2005 ‘The Surprise Examination in Dynamic Epistemic Logic’Synthese 155 21

Gerbrandy, J.Groeneveld, W. 1997 ‘Reasoning about Information Change’Journal of Logic, Language and Information 6 147

Geurts, B. 2003 ‘Reasoning with Quantifiers’Cognition 86 223

Gheerbrant, A. 2010 Fixed-Point Logics on TreesILLCUniversity of Amsterdam

Ghidini, C.Giunchiglia, F. 2001 ‘Local Model Semantics, or Contextual Reasoning = Locality + Compatibility’Artificial Intelligence 127 221

Gierasimczuk, N. 2009 ‘Bridging Learning Theory and Dynamic Epistemic Logic’Synthese 169 371

Gierasimczuk, N. 2010 In the Limits of Knowledge: Logical Analysis of Inductive InferenceDissertation, ILLCUniversity of Amsterdam

Gierasimczuk, N.de Jongh, D. 2009 ‘On the Minimality of Definite Tell-tale Sets in Finite Identification of Languages’ILLC, University of Amsterdam

Gierasimczuk, N.Kurzen, L.Velázquez-Quesada, F. 2009 He, X.Horty, J.Pacuit, E.

Gigerenzer, G.Todd, Peter M.nd the ABC Research Group 1999 Simple Heuristics That Make Us SmartOxford University Press

Giles, R. 1974 ‘A Non-Classical Logic for Physics’Studia Logica 33 399

Ginzburg, J. 2009 The Interactive Stance: Meaning for ConversationDepartment of Computer Science, King's CollegeLondon

Girard, P. 2008 Modal Logic for Belief and Preference ChangeDepartment of Philosophy, Stanford University & ILLC Amsterdam

Gochet, P. 2006 ‘La Formalisation du Savoir-Faire’Lecture at Pierre Duhem Colloquium IPHRST ParisPhilosophical InstituteUniversité de Liege

Goldman, A. 1999 Knowledge in a Social WorldOxford University Press

Goranko, V.van Drimmelen, G. 2006 ‘Complete Axiomatization and Decidability of Alternating-Time Temporal Logic’Theoretical Computer Science 353 93

Groenendijk, J. 2008 ‘Inquisitive Semantics: Two possibilities for disjunction’Bosch, P.Gabelaia, D.Lang, J.Proceedings Seventh Tbilisi Symposium on Language, Logic and ComputationSpringer Lecture Notes in Artificial Intelligence80

Groenendijk, J.Stokhof, M. 1985 Studies in the Semantics of Questions and the Pragmatics of AnswersPhilosophical Institute, University of Amsterdam

Groenendijk, J.Stokhof, M. 1991 ‘Dynamic Predicate Logic’Linguistics and Philosophy 14 39

Groenendijk, J.Stokhof, M. 1997 ‘Questions’van Benthem, J.ter Meulen, A.Handbook of Logic and LanguageAmsterdamElsevier1055

Grossi, D. 2007 Designing Invisible Handcuffs. Formal Investigations in Institutions and Organizations for Multi-Agent SystemsDepartment of Computer Science, Utrecht University

Grossi, D. 2009 ‘Doing Argumentation Theory in Modal Logic’ILLC, University of Amsterdam

Grossi, D.Velázquez-Quesada, F. 2009 ‘Twelve Angry Men: A Study on the Fine-Grain of Announcements’He, X.Horty, J.Pacuit, E.Logic, Rationality and InteractionSpringer Lecture Notes in Artificial Intelligence147

Grove, A. 1988 ‘Two Modelings for Theory Change’Journal of Philosophical Logic 17 157

Gruene-Yanoff, T.Hanson, S.-O. 2008 Preference ChangeDordrechtSpringer

Grunwald, P.Halpern, J. 2003 ‘Updating Probabilities’Journal of Artificial Intelligence Research 19 243

Gupta, A.Parikh, R.van Benthem, J. 2007 Logic at a Cross-Roads: Logic and its Interdisciplinary EnvironmentMumbaiAllied Publishers

Gurevich, Y.Shelah, S. 1986 ‘Fixed-Point Extensions of First-Order Logic’Annals of Pure and Applied Logic 32 265

Halpern, J. 1997 ‘Defining Relative Likelihood in Partially-Ordered Preferential Structure’Journal of Artificial Intelligence Research 7 1

Halpern, J. 2003 ‘A Computer Scientist Looks at Game Theory’Games and Economic Behavior 45 114

Halpern, J. 2003 Reasoning about UncertaintyCambridge (Mass.)The MIT Press

Halpern, J.van der Meyden, R.Vardi, M. 2004 ‘Complete Axiomatizations for Reasoning about Knowledge and Time’SIAM Journal of Computing 33 674

Halpern, J.Tuttle, M. 1993 ‘Knowledge, Probability, and Adversaries’Journal of the ACM 40 917

Halpern, J.Vardi, M. 1989 ‘The Complexity of Reasoning about Knowledge and Time, I: Lower Bounds’Journal of Computer and System Sciences 38 195

Hamami, Y. 2010 The Interrogative Model of Inquiry Meets Dynamic Epistemic LogicsIlLCUniversity of Amsterdam

Hamm, F.van Lambalgen, M. 2004 The Proper Treatment of EventsOxfordBlackwell Publishers

Hansen, H.Kupke, C.Pacuit, E. 2008 Kozen, D.Montanari, U.Mossakowski, T.Rutten, J.

Hansen, P.Hendricks, V. 2007 Five Questions on Game TheoryRoskildeAutomatic Press

Hanson, S. O. 1995 ‘Changes in Preference’Theory and Decision 38 1

Hanson, S. O. 2001 ‘Preference Logic’Gabbay, D.Guenthner, F.Handbook of Philosophical Logic IV319DordrechtKluwer

Hansson, B. 1969 ‘An Analysis of some Deontic Logics’Noûs 3 373

Harel, D. 1985 ‘Recurring Dominoes: Making the Highly Undecidable Highly Understandable’Annals of Discrete Mathematics 24 51

Harel, D.Kozen, D.Tiuryn, J. 2000 Dynamic LogicCambridge (Mass.)The MIT Press

Harrenstein, P. 2004 Logic in ConflictInstitute of Computer Science, University of Utrecht

Helmholtz, H. 1878 The Facts of PerceptionMiddletown (Conn.)Wesleyan University Press

Hendricks, V. 2003 van Benthem, J.van Rooij, R.

Hendricks, V. 2005 Mainstream and Formal EpistemologyCambridge University Press

Herzig, A.Lorini, E. 2010 ‘A Dynamic Logic of Agency I: STIT, Capabilities and Powers’Journal of Logic, Language and Information 19 89

Hintikka, J. 1962 Knowledge and BeliefIthacaCornell University Press

Hintikka, J. 1973 Logic, Language Games and InformationOxfordClarendon Press

Hintikka, J.Halonen, I.Mutanen, A. 2002 ‘Interrogative Logic as a General Theory of Reasoning’Gabbay, D.Johnson, R.Ohlbach, H.Woods, J.Handbook of the Logic of Argument and InferenceAmsterdamElsevier295

Hintikka, J.Sandu, G. 1997 van Benthem, J.ter Meulen, A.

Hodges, H.Hodges, W.van Benthem, J. 2007 ‘Editorial Logic and Psychology’Topoi 26 1

Hodkinson, I.Reynolds, M. 2006 ‘Temporal Logic’Blackburn, P.van Benthem, J.Wolter, F.Handbook of Modal LogicAmsterdamElsevier655

van der Hoek, W.van Linder, B.Meijer, J.-J. 1999 ‘Group knowledge is Not Always Distributed (neither is it Always Implicit)’Mathematical Social Sciences 38 215

van der Hoek, W.Meijer, J.-J. 1995 Epistemic Logic for AI and Computer ScienceCambridge University Press

van der Hoek, W.Pauly, M. 2006 Blackburn, P.van Benthem, J.Wolter, F.

van der Hoek, W.Wooldridge, M. 2003 ‘Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and Its Applications’Studia Logica 75 125

Hofbauer, J.Sigmund, K. 1998 Evolutionary Games and Population DynamicsCambridge University Press

Hollenberg, M. 1998 Logic and BisimulationPhilosophical Institute, University of Utrecht

Holliday, W. 2009 ‘Dynamic Testimonial Logic’He, X.Horty, J.Pacuit, E.Logic, Rationality and InteractionSpringer Lecture Notes in AI161

Holliday, W.Icard, Th. 2010 ‘Moorean Phenomena in Epistemic Logic’Proceedings Advances in Modal Logic 2010Steklov Mathematical InstituteMoscow

Horty, J. 2001 Agency and Deontic LogicOxford University Press

Hoshi, T. 2009 Epistemic Dynamics and Protocol InformationDepartment of Philosophy, Stanford University

Hoshi, T.Yap, A. 2009 ‘Dynamic Epistemic Logic with Branching Temporal Structure’Synthese 169 259

Icard, Th.Pacuit, E.Shoham, Y. 2009 ‘Intention Based Belief Revision’Departments of Philosophy and Computer Science, Stanford University

Israel, D.Perry, J. 1990 ‘What is Information?’Hanson, P.Information, Language and CognitionVancouverUniversity of British Columbia Press

Jago, M. 2006 Logics for Resource-Bounded AgentsDepartment of Philosophy, University of Nottingham

Jaspars, J. 1994 Calculi for Constructive CommunicationUniversity of Tilburg, ITK & ILLC Dissertation series

Ji, R. 2004 Exploring the Update UniverseILLC, University of Amsterdam

Jones, N. 1978 ‘Blindfold Games are Harder than Games with Perfect Information’Bulletin EATCS 6 4

de Jongh, D.Liu, F. 2006 ‘Optimality, Belief, and Preference’Artemov, S.Parikh, R.Proceedings of the Workshop on Rationality and KnowledgeESSLLI Summer SchoolMalaga

Kelly, K. 1996 The Logic of Reliable InquiryOxford University Press

Kelly, K. 1998 ‘The Learning Power of Belief Revision’Proceedings TARK VII Evanston IllinoisMorgan KaufmannSan Francisco111

Kelly, K. 2002 ‘Knowledge as Reliable Inferred Stable True Belief’Department of Philosophy, Carnegie Mellon UniversityPittsburgh

Kerdiles, G. 2001 Saying it with PicturesILLC, University of Amsterdam

Kim, J.Sosa, E. 2000 Epistemology: An AnthologyMalden (Mass.)Blackwell

Kooi, B. 2003 ‘Probabilistic Dynamic Epistemic Logic’Journal of Logic, Language and Information 12 381

Kramer, S. 2007 ‘The Meaning of a Cryptographic Message via Hypothetical Knowledge and Provability’van Benthem, J.Ju, S.Veltman, F.A Meeting of the MindsLondonCollege Publications187

Kreutzer, S. 2004 ‘Expressive Equivalence of Least and Inflationary Fixed-Point Logic’Annals of Pure and Applied Logic 130 61

Kurzen, L. 2007 A Logic for Cooperation, Actions and PreferencesILLC, University of Amsterdam

Kurzen, L. 2010 Cooperation and Complexity of InteractionILLC, University of Amsterdam

Lakemeyer, G. 2009 ‘The Situation Calculus: A Case for Modal Logic’Journal of Logic, Language and Information 19 431

van Lambalgen, M.Stenning, K. 2007 Human Reasoning and Cognitive ScienceCambridge (Mass.)The MIT Press

Lang, J.van der Torre, L.Weydert, E. 2003 ‘Hidden Uncertainty in the Logical Representation of Desires’Proceedings IJCAI XVIII 685

Lang, J.van der Torre, L. 2008 ‘From Belief Change to Preference Change’Proceedings ECAI 2008: 18th European Conference on Artificial IntelligenceAmsterdamIOS Press

van Leeuwen, J. 1991 Handbook of Theoretical Computer ScienceAmsterdamElsevier

Leitgeb, H. 2008 ‘Psychologism in Logic’Studia Logica 88 1

Leitgeb, H.Schurz, G. 2005 ‘Non-Monotonic and Uncertain Reasoning in Cognition'Synthese 146 1

Leitgeb, H.Segerberg, K. 2007 ‘Dynamic Doxastic Logic: why, how, and where to?’Synthese 155 167

Lenzen, W. 1980 Glauben, Wissen und WahrscheinlichkeitWien, Springer Verlag, Library of Exact Philosophy

Lewis, D. 1969 ConventionOxfordBlackwell

Lewis, D. 1973 CounterfactualsOxfordBlackwell

Lewis, D. 1988 ‘Desire as Belief’Mind 97 323

Leyton-Brown, K.Shoham, Y. 2008 Essentials of Game Theory: A Concise Multidisciplinary IntroductionCambridge University Press

List, C.Pettit, Ph. 2004 ‘Aggregating Sets of Judgments. Two Impossibility Results Compared’Synthese 140 207

List, C.Goodin, R. 2006 ‘Conditional Defense of Plurality Rule: Generalizing May's Theorem in a Restricted Informational Environment’American Journal of Political Science50 4 940

Liu, F. 2005 Diversity of Agents and their InteractionILLC, University of Amsterdam

Liu, F. 2008 Changing for the Better: Preference Dynamics and Preference DiversityILLC, University of Amsterdam

Liu, F. 2009 ‘Diversity of Agents and their Interaction’Journal of Logic, Language and Information 18 23

Lorenz, K.Lorenzen, P. 1978 Dialogische LogikDarmstadtWissenschaftliche Buchgesellschaft

Lorenzen, P. 1955 Einfuhrung in die Operative Logik und MathematikBerlinSpringer Verlag

Lorini, E.Castelfranchi, C. 2007 ‘The Cognitive Structure of Surprise: Looking for Basic Principles’Topoi 26 133

Lutz, C. 2006

Mares, E. 1996 ‘Relevant Logic and the Theory of Information’Synthese 109 345

Martin-Löf, P. 1996 ‘On the Meanings of the Logical Constants and the Justifications of the Logical Laws’Nordic Journal of Philosophical Logic 1 11

Marx, M. 2006 Blackburn, P.van Benthem, J.Wolter, F.

Maynard-Reid, M.Shoham, Y. 1998 ‘From Belief Revision to Belief Fusion’Proceedings of LOFT-98Torino

McCarthy, J. 1963 ‘Situations, Actions, and Causal Laws’Minsky, M. 1968 Semantic Information ProcessingCambridge (Mass.)The MIT Press410

McCarthy, J. 1980 ‘Circumscription – A Form of Non-Monotonic Reasoning’Artificial Intelligence 13 27

van der Meijden, R. 1996 ‘The Dynamic Logic of Permission’Journal of Logic and Computation 6 465

Meyer, J.-J.van der Hoek, W.van Linder, B. 1999 ‘A Logical Approach to the Dynamics of CommitmentsArtificial Intelligence 113 1

Miller, J.Moss, L. 2005 ‘The Undecidability of Iterated Modal Relativization’Studia Logica 97 373

Milner, R. 1999 Communicating and Mobile Systems: The Pi CalculusCambridge (Mass.)The MIT Press

Minica, S. 2010 Dynamic Logic of QuestionsILLC, University of Amsterdam

Mittelstaedt, P. 1978 Quantum LogicDordrechtReidel

Moore, R. 1985 ‘A Formal Theory of Knowledge and Action’Hobbs, J.Moore, R.Formal Theories of the Commonsense WorldAblex Publishing Corp319

Moschovakis, Y. 1974 Elementary Induction on Abstract StructuresAmsterdamNorth-Holland

Moss, L.Seligman, J. 1997 ‘Situation Theory’van Benthem, J.ter Meulen, A.Handbook of Logic and LanguageAmsterdamNorth Holland239

Nagel, E. 1961 The Structure of ScienceIndianapolisHackett

Netchitajlov, Y. 2000 An Extension of Game Logic with Parallel OperatorsILLCAmsterdam

Nozick, R. 1981 Philosophical ExplanationsCambridge (Mass.)Harvard University Press

Osborne, M.Rubinstein, A. 1994 A Course in Game TheoryCambridge (Mass.The MIT Press

van Otterloo, S. 2005 A Strategic Analysis of Multi-Agent ProtocolsILLC, University of Amsterdam & University of Liverpool

Pacuit, E.Parikh, R. 2007 ‘Reasoning about Communication Graphs’Interactive Logic, Proceedings of the 7th Augustus de Morgan Workshopvan Benthem, J.Gabbay, D.Löwe, B.LondonKing's College Press

Pacuit, E.Roy, O. 2006 ‘Preference Based Belief Dynamics’Proceedings of The 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2006)Computer Science Department, University of Liverpool

Pacuit, E.Roy, O. 2010 Interactive RationalityDepartment of Philosophy, University of Groningen and University of Tilburg

Papadimitriou, C. 1994 Computational ComplexityAddison-Wesley

Parikh, R. 1985 ‘The Logic of Games’Annals of Discrete Mathematics 24 111

Parikh, R. 1991 ‘Monotonic and Non-Monotonic Logics of Knowledge’Fundamenta Informaticae XV 255

Parikh, R. 2002 ‘Social Software’Synthese 132 187

Parikh, R.Ramanujam, R. 2003 ‘A Knowledge-Based Semantics of Messages’Journal of Logic, Language and Information 12 453

Pauly, M. 2001 Logic for Social SoftwareILLC, University of Amsterdam

Peters, S.Westerståhl, D. 2006 Quantifiers in Language and LogicOxford University Press

Piaget, J. 1953 The Origins of Intelligence in ChildrenLondonRoutledge and Kegan Paul

Plaza, J. 1989

Priest, G. 1997 ‘Impossible Worlds–Editor's Introduction’Notre Dame Journal of Formal Logic 38 481

Ramanujam, R. 2008 ‘Some Automate Theory for Epistemic Logic’Invited lecture at Workshop on Intelligent InteractionESSLLI Summer SchoolHamburg

Ramanujam, R. 2010 van Benthem, J.Gupta, A.

Rao, A.Georgeff, M. 1991 ‘Modeling Rational Agents within a BDI-Architecture’Fikes, R.Sandewall, E.Proceedings of Knowledge Representation and Reasoning (KR&R-91)San MateoMorgan Kaufmann473

Reiter, R. 2001 Knowledge in ActionCambridge (Mass.)The MIT Press

Renne, B. 2008 Public Communication in Justification LogicCUNY Graduate CenterNew York

Restall, G. 2000 An Introduction to Substructural LogicsLondonRoutledge

Rodenhäuser, B. 2001 Updating Epistemic UncertaintyILLC, University of Amsterdam

Rodriguez, R. 2006 ‘Notes on Topological Updates’paper Dynamics SeminarILLCUniversity of Amsterdam

Roelofsen, F. 2006 Distributed KnowledgeILLC, University of Amsterdam

Rohde, Ph. 2005 On Games and Logics over Dynamically Changing StructuresRheinisch-Westfälische Technische Hochschule Aachen

Romeijn, J. W. 2009 ‘Meaning Shifts and Conditioning’Philosophical Institute, University of Groningenhttp://irs.ub.rug.nl/dbi/4aeee1a7af4a0

van Rooij, R. 2003 ‘Quality and Quantity of Information Exchange’Journal of Logic, Language and Information 12 423

van Rooij, R. 2004 ‘Signalling Games Select Horn Strategies’Linguistics and Philosophy 27 493

van Rooij, R. 2005 ‘Questions and Relevance’Questions and Answers, Proceedings 2nd CoLogNET ElsNET SymposiumILLC, Amsterdam96

Rott, H. 2001 Change, Choice and InferenceOxford University Press

Rott, H. 2006 ‘Shifting Priorities: Simple Representations for 27 Iterated Theory Change Operators’Lagerlund, H.Lindström, S.Sliwinski, R.Modality Matters: Twenty-Five Essays in Honour of Krister SegerbergUppsala Philosophical Studies359

Rott, H. 2007 ‘Information Structures in Belief Revision’Adriaans, P.van Benthem, J.Handbook of the Philosophy of InformationAmsterdamElsevier Science Publishers457

Roush, Sh. 2006 Tracking Truth: Knowledge, Evidence and ScienceOxford University Press

Roy, O. 2008 Thinking before Acting: Intentions, Logic, and Rational ChoiceILLCUniversity of Amsterdam

Sack, J. 2008 ‘Temporal Language for Epistemic Programs’Journal of Logic, Language and Information 17 183

Sack, J. 2009 ‘Extending Probabilistic Dynamic Epistemic Logic’Synthese 169 241

Sadrzadeh, M.Cirstea, C. 2006 ‘Relating Algebraic and Coalgebraic Logics of Knowledge and Update’Bonanno, G.van der Hoek, W.Proceedings LOFT 2006Department of Computer Science, University of Liverpool

Sadzik, T. 2005 ‘Exploring the Iterated Update Universe’Department of Economics, Stanford University

Sadzik, T. 2009 ‘Beliefs Revealed in Bayesian-Nash Equilibrium’Department of Economics, New York University

Sarenac, D. 2009 ‘Modal Logic for Qualitative Dynamics’Department of Philosophy, Colorado State UniversityFort Collins

Searle, J.Vanderveken, D. 1985 Foundations of Illocutionary LogicCambridge University Press

Segerberg, K. 1995 ‘Belief Revision from the Point of View of Doxastic Logic’Bulletin of the IGPL 3 534

Segerberg, K. 1999 ‘Default Logic as Dynamic Doxastic Logic’Erkenntnis 50 333

Seligman, J. 2010 ‘Using Hybrid Logic to Analyze Games’Department of Philosophy, University of Auckland

Sequoiah-Grayson, S. 2007 ‘Information Gain from Inference’Philosophical InstituteOxford 2007

Sequoiah-Grayson, S. 2009 He, X.Horty, J.Pacuit, E.

Sergot, M. 2008 ‘Temporal Logic of Events and Preference’Department of Computing, Imperial CollegeLondon

Sevenster, M. 2006 Branches of Imperfect Information: Logic, Games, and ComputationILLCAmsterdam

Shoham, Y. 1988 Reasoning About Change: Time and Change from the Standpoint of Artificial IntelligenceCambridge (Mass.)The MIT Press

Shoham, Y. 2009 ‘Logical Theories of Intention and the Database Perspective’Journal of Philosophical Logic 38 633

Shoham, Y.Leyton-Brown, K. 2008 Multiagent Systems: Algorithmic, Game Theoretic and Logical FoundationsCambridge University Press

Shoham, Y.Tennenholtz, M. 1999 ‘What Can a Market Compute and at What Expense?’Department of Computer Science, Stanford University

Skyrms, B. 1990 The Dynamics of Rational DeliberationCambridge (Mass.)Harvard University Press

Spohn, W. 1988 ‘Ordinal Conditional Functions: A Dynamic Theory of Epistemic States’Harper, W.Causation in Decision, Belief Change and Statistics IIDordrechtKluwer105

Staal, F. 1988 Universals: Studies in Indian Logic and LinguisticsUniversity of Chicago Press

Stalnaker, R. 1978 ‘Assertion’Cole, P.Syntax and SemanticsNew York, Academic Press315

Stalnaker, R. 1999 ‘Extensive and Strategic Form: Games and Models for Games’Research in Economics 53 293

Stenning, K. 2001 Seeing ReasonOxford University Press

Sugden, R. 2003 ‘The Logic of Team Reasoning’Philosophical Explorations 6 165

Tan, Y.-H.van der Torre, L. 1999 ‘An Update Semantics for Deontic Reasoning’McNamara, P.Prakken, H.Norms, Logics and Information SystemsIOS Press73

Tennant, N. 2002 ‘Victor Vanquished’Analysis 62 135

Thomas, W. 1992 ‘Infinite Trees and Automaton Definable Relations over Omega-Words’Theoretical Computer Science 103 143

van der Torre, L.Tan, Y.-H. 1999 ‘Contrary-to-Duty Reasoning with Preference- Based Dyadic Obligations’Annals of Mathematics and Artificial Intelligence 27 49

van der Torre, L.Tan, Y-H 2001 ‘Dynamic Normative Reasoning Under Uncertainty: How to Distinguish Between Obligations Under Uncertainty and Prima Facie Obligations’Gabbay, D.Smets, Ph.Handbook of Defeasible Reasoning and Uncertainty Management SystemsAgents, Reasoning and DynamicsDordrecht, Kluwer267

Toulmin, S. 1958 The Uses of ArgumentCambridge University Press

Turing, A. M. 1950 ‘Computing Machinery and Intelligence’Mind 59 433

Väänänen, J. 2007 Dependence LogicCambridge University Press

Velázquez-Quesada, F. 2008 ‘Inference and Update’ILLC, University of Amsterdam, presented at Workshop on Logic and Intelligent Interaction, ESSLLI Summer SchoolHamburg

Velázquez-Quesada, F. 2010 Small Steps in the Dynamics of InformationILLC, University of Amsterdam

Veltman, F. 1985 Logics for ConditionalsDissertationPhilosophical Institute, University of Amsterdam

Veltman, F. 1996 ‘Defaults in Update Semantics'Journal of Philosophical Logic 25 221

Venema, Y. 2006 ‘Algebras and Co-Algebras’Blackburn, P.van Benthem, J.Wolter, F.Handbook of Modal LogicAmsterdamElsevier331

Verbrugge, R. 2009 ‘Logic and Social Cognition’Journal of Philosophical Logic 38 649

Wason, P.Johnson-Laird, P. 1972 The Psychology of ReasoningCambridge (Mass.)Harvard University Press

Wang, Y. 2010 Epistemic Modelling and Protocol DynamicsDissertation, CWI Amsterdam

Williamson, T. 2000 Knowledge and its LimitsOxford University Press

Wisniewski, A. 1995 The Posing of QuestionsDordrechtKluwer

Wooldridge, M. 2002 An Introduction to Multi-Agent SystemsColchesterJohn Wiley

von Wright, G. H. 1963 The Logic of PreferenceEdinburgh University Press

Yamada, T. 2006 ‘Acts of Commanding and Changing Obligations’Inoue, K.Satoh, K.Toni, F.Computational Logic in Multi-Agent Systems CLIMA VIIBerlinSpringer Verlag2007

Yao, A. C. 1979

Yap, A. 2006 ‘Product Update and Temporal Modalities’Girard, P.Marion, M.Roy, O.Proceedings Workshop on DynamicsUniversity of Montreal

Zarnic, B. 1999

Zhang, J.Liu, F. 2007 ‘Some Thoughts on Mohist Logic’van Benthem, J.Ju, S.Veltman, F.A Meeting of the MindsLondonCollege Publications85

Xu, M. 2010

Yamada, T. 2008 ‘Logical Dynamics of some Speech Acts that Affect Obligations and Preferences’Synthese 165 295

Zvesper, J. 2010 Playing with InformationDissertationILLC, University of Amsterdam

Logical Dynamics of Information and Interaction

This Book has been cited by the following publications. This list is generated based on data provided by Crossref.

Book description

Reviews

Refine List

Actions for selected content:

Contents

Frontmatter
pp i-v

Contents
pp vii-viii

Preface
pp ix-x

Acknowledgments
pp xi-xii

1 - Logical dynamics, agency, and intelligent interaction
pp 1-20

2 - Epistemic logic and semantic information
pp 21-44

3 - Dynamic logic of public observation
pp 45-75

4 - Multi-agent dynamic-epistemic logic
pp 76-99

5 - Dynamics of inference and awareness
pp 100-113

6 - Questions and issue management
pp 114-129

7 - Soft information, correction, and belief change
pp 130-155

8 - An encounter with probability
pp 156-173

9 - Preference statics and dynamics
pp 174-194

10 - Decisions, actions, and games
pp 195-227

11 - Processes over time
pp 228-252

12 - Epistemic group structure and collective agency
pp 253-267

13 - Logical dynamics in philosophy
pp 268-302

14 - Computation as conversation
pp 303-312

15 - Rational dynamics in game theory
pp 313-329

16 - Meeting cognitive realities
pp 330-341

17 - Conclusion
pp 342-345

References
pp 346-369

Index
pp 370-373

Metrics

Altmetric attention score

Full text views

Book summary page views

Accessibility standard: Unknown

Why this information is here

Accessibility Information

Logical Dynamics of Information and Interaction

Book description

Reviews

Refine List

Actions for selected content:

Save Search

Contents

Metrics

Altmetric attention score

Full text views

Book summary page views

Accessibility standard: Unknown

Why this information is here

Accessibility Information