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
