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

Soft information, correction, and belief change

By Johan van Benthem

Image View Previous Chapter Next Chapter



So far, we have developed dynamic logics that deal with knowledge, inference, and questions, all based on information and truth. Now we want to look at another pervasive attitude that agents have toward information, namely, their beliefs. This chapter will show how belief change fits well with our dynamic framework, and develop some of its logical theory. This puts one more crucial aspect of rational agents in place: not their being right about everything, but their being wrong, and acts of self-correction.

From knowledge to belief as a trigger for actions

While knowledge is important to agency, our actions are often driven by fallible beliefs. I am riding my bicycle this evening because I believe it will get me home, even though my epistemic range includes worlds where the San Andreas Earthquake strikes. Decision theory is about choice and action on the basis of beliefs, as knowledge may not be available. Thus, our next step in the logical dynamics of rational agency is the study of beliefs, viewed as concretely as possible. Think of our scenarios in Chapter 3. The cards have been dealt. I know that there are 52 of them, and I know their colours. But I have more fleeting beliefs about who holds which card, or about how the other agents will play.

7

Reference Type: reference-list

S. Abramsky2006‘Socially Responsive, Environmentally Friendly Logic’T. AhoA.-V. PietarinenTruth and Games: Essays in Honour of Gabriel SanduActa Philosophica Fennica17
S. Abramsky2008‘Information, Processes and Games’P. AdriaansJ. van BenthemHandbook of the Philosophy of InformationAmsterdamElsevier Science Publishers483
S. AbramskyR. Jagadeesan1992‘Games and Full Completeness for Multiplicative Linear Logic’Journal of Symbolic Logic59543
P. AdriaansJ. van Benthem2008Handbook of the Philosophy of InformationAmsterdamElsevier
M. d'AgostinoL. Floridi2007‘The Enduring Scandal of Deduction. Is Propositional Logic Really Uninformative?Synthese1672009271
T. ÅgotnesJ. van BenthemH. van DitmarschS. Minica2010‘Question Answer Games’University of Toulouse
T. ÅgotnesH. van Ditmarsch2009‘What Will They Say? Public Announcement Games’University of Bergen & University of SevilleTsukubaJapan
T. ÅgotnesV. GorankoW. Jamroga2007‘Alternating-Time Temporal Logics with Irrevocable Strategies’D. SametProceedings of TARK IXUniv. Saint-LouisBrussels15
M. AielloI. PrattJ. van Benthem2007Handbook of Spatial LogicsDordrechtSpringer Academic Publishers
R. AlurT. HenzingerO. Kupferman1997‘Alternating-Time Temporal Logic’Proceedings of the 38th IEEE Symposium on Foundations of Computer ScienceFlorida100
P. AnandP. PattanaikC. Puppe2009The Handbook of Rational and Social ChoiceOxford University Press
H. AndrékaJ. van BenthemI. Németi1998‘Modal Logics and Bounded Fragments of Predicate Logic’Journal of Philosophical Logic27217
H. AndrékaM. RyanP.-Y. Schobbens2002‘Operators and Laws for Combining Preference Relations’Journal of Logic and Computation1213
K. Apt2005‘The Many Faces of Rationalizability', CWI AmsterdamBerkeley Electronic Journal of Theoretical Economics7
K. AptR. van Rooij2007Proceedings KNAW Symposium on Games and InteractionAmsterdam University Press
K. AptA. WitzelJ. Zvesper2009
H. Arlo-CostaE. Pacuit2006‘First-Order Classical Modal Logic’Studia Logica84171
S. Artemov1994‘Logic of Proofs’Annals of Pure and Applied Logic6729
S. Artemov2001‘Explicit Provability and Constructive Semantics’Bulletin of Symbolic Logic71
S. Artemov2007‘Justification Logic’Technical Report TR-2007019CUNY Graduate CenterNew York
G. Aucher2004‘A Combined System for Update Logic and Belief Revision’Master of Logic ThesisUniversity of Amsterdam
G. Aucher2008‘Perspectives on Belief and Change’DissertationIRITToulouse
G. Aucher2009‘BMS Revisited’A. HeifetzProceedings of Theoretical Aspects of Rationality and Knowledge (TARK 2009)Stanford24
R. Aumann1976‘Agreeing to Disagree’The Annals of Statistics41236
R. Axelrod1984The Evolution of CooperationNew YorkBasic Books
F. Bacchus1990Representing and Reasoning with Probabilistic Knowledge, A Logical Approach to ProbabilitiesCambridge (Mass.The MIT Press
G. BaggioM. van LambalgenP. Hagoort2007‘Language, Linguistics and Cognition’M. StokhofJ. GroenendijkHandbook of the Philosophy of LinguisticsAmsterdamElsevier
P. BalbianiA. BaltagH. van DitmarschA. HerzigT. HoshiT. de Lima2008‘Knowable as Known after an Announcement’Review of Symbolic Logic1305
P. BalbianiA. HerzigN. Troquard2007‘Alternative Axiomatics and Complexity of Deliberative STIT Theories’IRITToulouse
A. Baltag2001J. van Benthem
A. Baltag2002‘A Logic for Suspicious Players: Epistemic Actions and Belief Update in Games’Bulletin of Economic Research541
A. BaltagJ. van BenthemS. Smets2010A Dynamic-Logical Approach to EpistemologyUniversities of OxfordAmsterdam, and Groningen
A. BaltagH. van DitmarschL. Moss2008‘Epistemic Logic and Information Update’P. AdriaansJ. van BenthemHandbook of the Philosophy of InformationAmsterdamElsevier Science Publishers361
A. BaltagN. GierasimczukS. Smets2010‘For Tracking the Truth, Keep Revising Your Beliefs’Invited lecture at NASSLLI 2010Bloomington
A. BaltagL. Moss2004‘Logics for Epistemic Programs’Synthese: Knowledge, Rationality, and Action2165
A. BaltagL. MossS. Solecki1998‘The Logic of Public Announcements, Common Knowledge and Private Suspicions’Proceedings TARK 199843Morgan Kaufmann PublishersLos Altos
A. BaltagS. Smets2004‘The Logic of Quantum Programs’Mathematical Structures in Computer Science16491
A. BaltagS. Smets2006‘Dynamic Belief Revision over Multi-Agent Plausibility Models’G. BonannoW. van der HoekM. WooldridgeProceedings LOFT '06University of Liverpool11
A. BaltagS. Smets2007‘From Conditional Probability to the Logic of Doxastic Actions’Proceedings TARK XIUCL Presses Universitaires de Louvain52
A. BaltagS. Smets2007‘Probabilistic Dynamic Belief Revision’J. van BenthemS. JuF. VeltmanA Meeting of the MindsLondonCollege Publications21
A. BaltagS. Smets2008‘A Qualitative Theory of Dynamic Interactive Belief Revision’G. BonannoW. van der HoekM. WooldridgeTexts in Logic and Games Vol. 3Amsterdam University Press9
A. BaltagS. Smets2008‘A Dynamic-Logical Perspective on Quantum Behavior’Studia Logica89185
A. BaltagS. Smets2009‘Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades’Proceedings TARK XIIStanford41
A. BaltagS. Smets2009‘Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points’M. KanazawaH. OnoR. de QueirozLNAI Lecture Notes in Computer Science5514124
A. BaltagS. Smets2009‘Talking Your Way into Agreement: Belief Merge by Persuasive Communication’CEUR Workshop Proceedings494129
A. BaltagS. Smets2010‘Surprise?! An Answer to the Hangman, or How to Avoid Unexpected Exams!’University of Oxford and University of Groningen
A. BaltagS. SmetsJ. Zvesper2008‘When All is Done but not (yet) Said: Dynamic Rationality in Extensive Games’J. van BenthemE. PacuitProceedings of the Workshop on Logic and Intelligent InteractionESSLLI 200858
A. BaltagN. GierasimczukS. Smets2010‘For Tracking the Truth, Keep Revising Your Beliefs’Invited Lecture at NASSLLI 2010Indiana UniversityBloomington
Y. Bar-HillelR. Carnap1953‘Semantic Information’The British Journal for the Philosophy of Science4147
J. Barwise1985‘Three Theories of Common Knowledge’Proceedings TARK IISan FranciscoMorgan Kauffman365
J. BarwiseJ. van Benthem1999‘Interpolation, Preservation, and Pebble Games’Journal of Symbolic Logic64881
J. BarwiseJ. Etchemendy1991‘Visual Information and Valid Reasoning’Visualization in Teaching and Learning MathematicsWashington, DCMathematical Association of America9
J. BarwiseL. Moss1996Vicious Circles: On the Mathematics of Non-Wellfounded PhenomenaStanfordCSLI Publications
J. BarwiseJ. Perry1983Situations and AttitudesCambridge (Mass.)The MIT Press
J. BarwiseJ. Seligman1995Information Flow, the Logic of Distributed SystemsCambridge University Press
P. BattigalliG. Bonanno1999‘Recent Results on Belief, Knowledge and the Epistemic Foundations of Game Theory’Research in Economics53149
P. BattigalliM. Siniscalchi1999‘Hierarchies of Conditional Beliefs and Interactive Epistemology in Dynamic Games’Journal of Economic Theory88188
J. BeallG. Restall2006Logical PluralismOxford University Press
N. BelnapM. PerloffM. Xu2001Facing the FutureOxford University Press
N. BelnapTh. Steele1976The Logic of Questions and AnswersNew HavenYale University Press
J. van Benthem1984‘Correspondence Theory’D. GabbayF. GuenthnerHandbook of Philosophical LogicDordrechtReidel167
J. van Benthem1989‘Semantic Parallels in Natural Language and Computation’H.-D. EbbinghausLogic Colloquium. Granada 1987AmsterdamNorth-Holland331
J. van Benthem1991Language in Action: Categories, Lambdas and Dynamic LogicAmsterdamNorth-Holland & Cambridge (Mass.), The MIT Press
J. van Benthem1993‘Reflections on Epistemic Logic’Logique et Analyse345
J. van Benthem1996Exploring Logical DynamicsStanfordCSLI Publications
J. van Benthem1997‘Dynamic Bits and Pieces’ILLC, University of Amsterdam
J. van Benthem1999Logic in Gameslecture notes, ILLC, University of Amsterdam
J. van Benthem1999‘Update as Relativization’ILLC, University of Amsterdam
J. van Benthem1999‘Wider Still and Wider: Resetting the Bounds of Logic’A. VarziThe European Review of PhilosophyStanfordCSLI Publications21
J. van Benthem2000‘Update Delights’Invited Lecture, ESSLLI Summer SchoolUniversity of Birmingham
J. van Benthem2001‘Games in Dynamic Epistemic Logic’Bulletin of Economic Research53219
J. van Benthem2002‘Extensive Games as Process Models’Journal of Logic, Language and Information11289
J. van Benthem2002W. SiegR. SommerC. Talcott
J. van Benthem2003‘Conditional Probability Meets Update Logic’Journal of Logic, Language and Information12409
J. van Benthem2003E. Morscher
J. van Benthem2003‘Logic and the Dynamics of Information’Minds and Machines13503
J. van Benthem2003‘Structural Properties of Dynamic Reasoning’J. PeregrinMeaning: the Dynamic TurnAmsterdamElsevier15
J. van Benthem2004Update and Revision in Gameslecture notesILLCAmsterdam & Philosophy Stanford
J. van Benthem2004‘What One May Come to Know’Analysis6495
J. van Benthem2005‘An Essay on Sabotage and Obstruction’D. HutterMechanizing Mathematical Reasoning, Essays in Honor of Jörg Siekmann on the Occasion of his 60th BirthdaySpringer268
J. van Benthem2005‘Guards, Bounds, and Generalized Semantics’Journal of Logic, Language and Information14263
J. van Benthem2005L. Moss
J. van Benthem2006‘Epistemic Logic and Epistemology: the State of their Affairs’Philosophical Studies12849
J. van Benthem2006‘One is a Lonely Number: on the Logic of Communication’Z. ChatzidakisP. KoepkeW. PohlersLogic Colloquium '02ASL & A.K. PetersWellesley MA96
J. van Benthem2006‘Open Problems in Update Logic’D. GabbayS. GoncharovM. ZakharyashevMathematical Problems from Applied Logic ISpringerNew York & Novosibirsk137
J. van BenthemE. Pacuit2007‘Modeling Protocols in Temporal Models’ILLCUniversity of Amsterdam
J. van Benthem2007‘Cognition as Interaction’G. BoumaI. KrämerJ. ZwartsCognitive Foundations of InterpretationKNAWAmsterdam27
J. van Benthem2007‘Dynamic Logic of Belief Revision’Journal of Applied Non-Classical Logics17129
J. van Benthem2007In Praise of Strategies’J. van EijckR. VerbruggeGames, Actions, and Social SoftwareLondonCollege Publications
J. van Benthem2007‘Logic Games, From Tools to Models of Interaction’A. GuptaR. ParikhJ. van BenthemLogic at the CrossroadsMumbaiAllied Publishers283
J. van Benthem2007‘Logic in Philosophy’D. JacquetteHandbook of the Philosophy of LogicAmsterdamElsevier65
J. van Benthem2007‘Rational Dynamics’International Game Theory Review913
J. van Benthem2007‘Rationalizations and Promises in Games’Philosophical TrendsChinese Academy of Social SciencesBeijing1
J. van Benthem2008‘Computation as Conversation’B. CooperB. LöweA. SorbiNew Computational Paradigms: Changing Conceptions of What is ComputableNew YorkSpringer35
J. van Benthem2008‘Logic and Reasoning: Do the Facts Matter?’Studia Logica8867
J. van Benthem2008‘Logic, Rational Agency, and Intelligent Interaction’C. GlymourW. WeiD. WesterståhlLogic, Methodology and Philosophy of Science XIII Beijing 2007LondonCollege Publications
J. van Benthem2008‘Logical Pluralism Meets Logical Dynamics’Australasian Journal of Logic61
J. van Benthem2008‘Merging Observational and Access Dynamics in Logic’Journal of Logic Studies1
J. van Benthem2008
J. van Benthem2009‘Actions that Make Us Know’J. SalernoNew Essays on the Knowability ParadoxOxford University Press129
J. van Benthem2009‘Decisions, Actions, and Games: a Logical Perspective’R. RamanujamS. SarukkaiProceedings of the Third Indian Conference on Logic and its Applications ICLA 2009Springer1
J. van Benthem2009‘For Better of for Worse: Dynamic Logics of Preference’T. Grüne-YanoffS.-O. HanssonPreference ChangeDordrechtSpringer57
J. van Benthem2009‘McCarthy Variations in a Modal Key’University of Amsterdam
J. van Benthem2009‘The Information in Intuitionistic Logic’Synthese167251
J. van Benthem2009‘Update as Social Choice’P. GirardM. MarionO. RoyProceedings Dynamics Workshop Montreal 2007Springer
J. van Benthem2010‘A Logician Looks at Argumentation Theory’CogencySantiago de Chili
J. van Benthem2010‘Categorial versus Modal Information Theory’Linguistic Analysis36533
J. van Benthem2010‘Logic, Mathematics, and General Agency’P. E. BourM. RebuschiL. RollellLondonCollege Publications281
J. van Benthem2010
J. van Benthem2010‘Two Kinds of Dynamics in Logic’University of Stuttgart
J. van Benthem
J. van BenthemModal Logic for Open MindsStanfordCSLI Publications
J. van BenthemP. Blackburn2006‘Modal Logic, a Semantic Perspective’J. van BenthemP. BlackburnF. WolterHandbook of Modal LogicAmsterdamElsevier1
J. van BenthemC. Dégrémont2008‘Multi-Agent Belief Dynamics: bridges between dynamic doxastic and doxastic temporal logics’G. BonannoW. van der HoekB. LöwePostproceedings Lecture Notes in Computer Science Vol. 6006, LOFT 08Texts in Logic and Games, HeidelbergSpringer
J. van BenthemJ. van EijckA. Frolova1993Changing PreferencesCentre for Mathematics & Computer ScienceAmsterdam
J. van BenthemJ. van EijckB. Kooi2006‘Logics of Communication and Change’Information and Computation2041620
J. van BenthemJ. GerbrandyT. HoshiE. Pacuit2007‘Merging Frameworks for Interaction’Proceedings TARK 200738491
J. van BenthemJ. GerbrandyB. Kooi2006‘Dynamic Update with Probabilities’University of AmsterdamStudia Logica9367
J. van BenthemA. Gheerbrant2010‘Game Solution, Epistemic Dynamics, and Fixed-Point Logics’Fundamenta Informaticae10019
J. van BenthemP. GirardO. Roy2009‘Everything Else Being Equal. A Modal Logic Approach to Ceteris Paribus Preferences’Journal of Philosophical Logic3883www.pgrim.org/philosophersannual/index.html
J. van BenthemD. GrossiF. Liu2010‘Deontics = Betterness + Priority’G. GovernatoriG. SartorDeontic Logic in Computer ScienceSpringer50
J. van BenthemD. Ikegami2008‘Modal Fixed-Point Logic and Changing Models’A. AvronN. DershowitzA. RabinovichPillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of his 85th BirthdayBerlinSpringer146
J. van BenthemB. Kooi2004‘Reduction Axioms for Epistemic Actions’Proceedings Advances in Modal Logic 2004Department of Computer Science, University of ManchesterRenate SchmidtIan Pratt-HartmannMark ReynoldsHeinrich Wansing197
J. van BenthemF. Liu2004‘Diversity of Logical Agents in Games’Philosophia Scientiae8163
J. van BenthemF. Liu2007‘Dynamic Logic of Preference Upgrade’Journal of Applied Non-Classical Logics17157
J. van BenthemM. Martinez2008‘The Stories of Logic and Information’P. AdriaansJ. van BenthemHandbook of the Philosophy of InformationAmsterdamElsevier Science Publishers217
J. van BenthemS. Minica2009‘Toward a Dynamic Logic of Questions’X. HeJ. HortyE. PacuitLogic, Rationality, and Interaction: Proceedings LORI II ChongqingSpringer Lecture Notes in Artificial Intelligence27
J. van BenthemA. ter Meulen1997Handbook of Logic and LanguageAmsterdamElsevier Science Publishers
J. van BenthemR. MuskensA. Visser1996‘Dynamics’J. van BenthemA. ter MeulenHandbook of Logic and LanguageAmsterdamElsevier587
J. van BenthemS. van OtterlooO. Roy2006‘Preference Logic, Conditionals, and Solution Concepts in Games’H. LagerlundS. LindströmR. SliwinskiModality MattersUniversity of Uppsala61
J. van BenthemE. Pacuit2006‘The Tree of Knowledge in Action’Proceedings Advances in Modal LogicANU Melbourne87
J. van BenthemE. Pacuit2007‘Modeling Protocols in Temporal Models’ILLCUniversity of Amsterdam.
J. van BenthemE. Pacuit2010‘Temporal Logics of Agency’Journal of Logic, Language and Information191
J. van BenthemE. Pacuit2011
J. van BenthemD. Sarenac2005‘The Geometry of Knowledge’J.-Y. BéziauA. Costa LeiteA. FacchiniAspects of Universal LogicCentre de Recherches Sémiologiques, Université de Neuchatel1
J. van BenthemF. Velázquez-Quesada2009‘Inference, Promotion, and the Dynamics of Awareness’ILLCAmsterdam
J. BergstraA. PonseS. Smolka2001Handbook of Process AlgebraAmsterdamElsevier
P. BlackburnJ. van BenthemF. Wolter2006Handbook of Modal LogicAmsterdamElsevier
P. BlackburnM. de RijkeY. Venema2000Modal LogicCambridge University Press
O. Board1998‘Belief Revision and Rationalizability’Proceedings TARK 1998201
R. Bod1998Beyond Grammar: An Experience-Based Theory of LanguageStanfordCSLI Publications
G. BoellaG. PigozziL. van der Torre1999C. Sierra
B. Bolzano1837Wissenschaftslehre, Seidelsche Buchhandlung, SulzbachR. GeorgeBerkeley & Los AngelesUniversity of California Press1972
G. Bonanno2001‘Branching Time, Perfect Information Games, and Backward Induction’Games and Economic Behavior3657
G. Bonanno2004‘Memory and Perfect Recall in Extensive Games’Games and Economic Behaviour47237
G. Bonanno2007‘Axiomatic Characterization of the theory of Belief Revision in a Temporal Logic’Artificial Intelligence171144
D. Bonnay2006What is a Logical Constant?École Normale SupérieureParis
D. BonnayP. Égré2007‘Knowing One's Limits; An Analysis in Centered Dynamic Epistemic Logic’University of ParisP. GirardM. MarionO. RoyProceedings Dynamics Montreal 2007
C. Boutilier1994‘Conditional Logics of Normality; A Modal Approach’Artificial Intelligence6887
C. BoutilierM. Goldszmidt1993‘Revision by Conditional Beliefs’Proceedings AAAI 11Washington DCMorgan Kaufmann649
J. BradfieldC. Stirling2006P. BlackburnJ. van BenthemF. Wolter
R. Bradley2007‘The Kinematics of Belief and Desire’Synthese156513
R. BrafmanJ.-C. LatombeY. Shoham1993‘Towards Knowledge-Level Analysis of Motion Planning’Proceedings AAAI 1993670
A. BrandenburgerH. J. Keisler2006‘An Impossibility Theorem on Beliefs in Games’Studia Logica84211
M. Bratman1992‘Shared Cooperative Activity’The Philosophical Review101327
J. Broersen2009
J. BroersenA. HerzigN. Troquard2006‘A -Extension of Proceedings JELIA200669
B. BrogaardJ. Salerno2002http://plato.stanford.edu/entries/fitch-paradox/
B. de Bruin2004Explaining Games: on the Logic of Game Theoretic ExplanationsILLC, University of Amsterdam
J. Burgess1981‘Quick Completeness Proofs for some Logics of Conditionals’Notre Dame Journal of Formal Logic2276
R. Carnap1952The Continuum of Inductive MethodsUniversity of Chicago Press
C. CastelfranchiF. Paglieri2007‘The Role of Beliefs in Goal Dynamics: Prolegomena to a Constructive theory of Intentions’Synthese155237
B. ten CateCh-ch Shan2002Malvina Nissim
P. CohenH. Levesque1990‘Intention is Choice with Commitment’Artificial Intelligence42213
A. Condon1988Computational Models of GamesComputer Science Department, University of Washington
I. Cornelisse2010‘Dynamic Doxastic Probability Logic’Dynamics SeminarILLCUniversity of Amsterdam
D. van Dalen2002‘Intuitionistic Logic’D. GabbayF. GuenthnerHandbook of Philosophical LogicDordrechtKluwer1
A. DawarE. GrädelS. Kreutzer2004‘Inflationary Fixed Points in Modal Logic'ACM Transactions on Computational Logic5282
F. DechesneY. Wang2007‘Dynamic Epistemic Verification of Security Protocols’J. van BenthemS. JuF. VeltmanA Meeting of the MindsLondonCollege Publications129
C. Dégrémont2010The Temporal Mind: Observations on Belief Change in Temporal SystemsILLC, University of Amsterdam
C. DégrémontO. Roy2009‘Agreement Theorems in Dynamic Epistemic Logic’A. HeifetzProceedings TARK 2009Stanford91
L. Demey2010Agreeing to Disagree in Probabilistic Dynamic Epistemic LogicILLCUniversity of Amsterdam
L. Demey2010‘Some Remarks on the Model Theory of Epistemic Plausibility Models’Dynamics SeminarILLCUniversity of Amsterdam
H. van Ditmarsch2000Knowledge GamesILLC University of Amsterdam & Department of Informatics, University of Groningen
H. van Ditmarsch2003‘The Russian Cards Problem’Studia Logica7531
H. van DitmarschT. French2009‘Awareness and Forgetting of Facts and Agents’P. BoldiG. VizzariG. PasiR. Baeza-YatesProceedings of the WI-IAT Workshops 2009IEEE Press478
H. van DitmarschA. HerzigT. de Lima2007‘Optimal Regression for Reasoning about Knowledge and Actions’G. BonannoJ. DelgrandeJ. LangH. RottFormal Models of Belief Change in Rational AgentsSchloss DagstuhlGermany2007
H. van DitmarschW. van der HoekB. Kooi2007Dynamic-Epistemic LogicBerlinSpringer
H. van DitmarschB. Kooi2006‘The Secret of My Success’Synthese151201
H. van DitmarschB. Kooi2008‘Semantic Results for Ontic and Epistemic Change’G. BonannoW. van der HoekM. WooldridgeProceedings LOFT VIIAmsterdam University Press87
K. DosenP. Schroeder-Heister1993Substructural LogicsOxford University Press
J. DoyleM. Wellman1994‘Representing Preferences as Ceteris Paribus Comparatives’Decision-Theoretic Planning: Papers from the 1994 Spring {AAAI} SymposiumMenlo Park (Calif.)AAAI Press69
F. Dretske1981Knowledge and the Flow of InformationUniversity of Chicago Press
M. Dummett1977Elements of lntuitionismOxford University Press
R. Dunbar1998Grooming, Gossip, and the Evolution of LanguageCambridge (Mass)Harvard University Press
P. Dung1995‘An Argumentation-Theoretic Foundation for Logic Programming’Journal of Logic Programming22151
B. Dunin-KepliczR. Verbrugge2002‘Collective Intentions’Fundamenta Informaticae51271
M. Dunn1991‘Gaggle Theory: An abstraction of Galois connections and Residuation, with applications to Negation, Implication, and various Logical Operators’J. van EijckLogics in AI (Amsterdam, 1990)BerlinSpringer31
H.-D. EbbinghausJ. Flum1995Finite Model TheoryBerlinSpringer
J. van Eijck2005‘DEMO - A Demo of Epistemic Modelling’J. van BenthemD. GabbayB. LoeweInteractive LogicAmsterdam University Press305
J. van EijckJ. RuanT. Sadzik2006‘Action Emulation’CWIAmsterdam
J. van EijckF. Sietsma2009‘Multi-Agent Belief Revision with Linked Plausibilities’Proceedings LOFT VIIIAmsterdam
J. van EijckF. SietsmaY. Wang2009‘Logic of Information Flow on Communication Channels’CWIAmsterdamhttp://loriweb.org/
P. van Emde Boas2002Models for Games and Complexitylecture notesILLCAmsterdam
U. EndrissJ. Lang2006Proceedings of the First International Workshop on Computational Social ChoiceILLCUniversity of Amsterdamhttp://www.illc.uva.nl/~ulle/COMSOC-2006/
R. FaginJ. HalpernY. MosesM. Vardi1995Reasoning about KnowledgeCambridge (Mass.)The MIT Press
R. FaginJ. Halpern1993‘Reasoning about Knowledge and Probability’Journal of the ACM41340
R. FaginJ. HalpernM. Vardi1990‘A Nonstandard Approach to the Logical Omniscience Problem’Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Third TARK ConferenceLos AltosMorgan Kaufmann41
Y. Feinberg2007‘Meaningful Talk’J. van BenthemS. JuF. VeltmanA Meeting of the MindsLondonCollege Publications41
B. Fitelson2006‘Old Evidence, Logical Omniscience & Bayesianism’Lecture ILLC Workshop Probability and LogicDepartment of Philosophy, University of California at Berkeley
T. FrenchH. van Ditmarsch2008‘Undecidability for Arbitrary Public Announcement Logic’C. ArecesR. GoldblattProceedings Advances in Modal Logic VIILondonCollege Publications23
D. Gabbay1996Labeled Deductive SystemsOxfordClarendon Press
D. Gabbay2008‘Reactive Kripke Semantics and Arc Accessibility’A. AvronN. DershowitzA. RabinovichPillars of Computer Science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthdayBerlinSpringer292
D. GabbayF. Guenthner1983Handbook of Philosophical LogicDordrechtKluwer Academic Publishers
D. GabbayC. HoggerJ. Robinson1995Handbook of Logic in Artificial Intelligence and Logic ProgrammingOxford University Press
D. GabbayJ. Woods2004Handbook of Logic and ArgumentationAmsterdamElsevier Science Publishers
P. Gärdenfors1988Knowledge in FluxCambridge (Mass.)Bradford Books/The MIT Press
P. GärdenforsH. Rott1995D. M. GabbayC. J. HoggerJ. A. Robinson
P. GärdenforsM. Warglien2007‘Semantics, Conceptual Spaces, and the Meeting of Minds’LUCS Cognitive Science Centre, University of Lund
J. Geanakoplos1992‘Common Knowledge’The Journal of Economic Perspectives653
J. GeanakoplosH. Polemarchakis1982‘We Can't Disagree Forever’Journal of Economic Theory28192
J. Gerbrandy1999Bisimulations on Planet KripkeILLC, University of Amsterdam
J. Gerbrandy1999‘Dynamic Epistemic Logic’L. S. MossJ. GinzburgM. de RijkeLogic, Language and ComputationStanfordCSLI Publications67
J. Gerbrandy2005‘The Surprise Examination in Dynamic Epistemic Logic’Synthese15521
J. GerbrandyW. Groeneveld1997‘Reasoning about Information Change’Journal of Logic, Language and Information6147
B. Geurts2003‘Reasoning with Quantifiers’Cognition86223
A. Gheerbrant2010Fixed-Point Logics on TreesILLCUniversity of Amsterdam
C. GhidiniF. Giunchiglia2001‘Local Model Semantics, or Contextual Reasoning = Locality + Compatibility’Artificial Intelligence127221
N. Gierasimczuk2009‘Bridging Learning Theory and Dynamic Epistemic Logic’Synthese169371
N. Gierasimczuk2010In the Limits of Knowledge: Logical Analysis of Inductive InferenceDissertation, ILLCUniversity of Amsterdam
N. GierasimczukD. de Jongh2009‘On the Minimality of Definite Tell-tale Sets in Finite Identification of Languages’ILLC, University of Amsterdam
N. GierasimczukL. KurzenF. Velázquez-Quesada2009X. HeJ. HortyE. Pacuit
G. GigerenzerPeter M. Toddnd the ABC Research Group1999Simple Heuristics That Make Us SmartOxford University Press
R. Giles1974‘A Non-Classical Logic for Physics’Studia Logica33399
J. Ginzburg2009The Interactive Stance: Meaning for ConversationDepartment of Computer Science, King's CollegeLondon
P. Girard2008Modal Logic for Belief and Preference ChangeDepartment of Philosophy, Stanford University & ILLC Amsterdam
P. Gochet2006‘La Formalisation du Savoir-Faire’Lecture at Pierre Duhem Colloquium IPHRST ParisPhilosophical InstituteUniversité de Liege
A. Goldman1999Knowledge in a Social WorldOxford University Press
V. GorankoG. van Drimmelen2006‘Complete Axiomatization and Decidability of Alternating-Time Temporal Logic’Theoretical Computer Science35393
J. Groenendijk2008‘Inquisitive Semantics: Two possibilities for disjunction’P. BoschD. GabelaiaJ. LangProceedings Seventh Tbilisi Symposium on Language, Logic and ComputationSpringer Lecture Notes in Artificial Intelligence80
J. GroenendijkM. Stokhof1985Studies in the Semantics of Questions and the Pragmatics of AnswersPhilosophical Institute, University of Amsterdam
J. GroenendijkM. Stokhof1991‘Dynamic Predicate Logic’Linguistics and Philosophy1439
J. GroenendijkM. Stokhof1997‘Questions’J. van BenthemA. ter MeulenHandbook of Logic and LanguageAmsterdamElsevier1055
D. Grossi2007Designing Invisible Handcuffs. Formal Investigations in Institutions and Organizations for Multi-Agent SystemsDepartment of Computer Science, Utrecht University
D. Grossi2009‘Doing Argumentation Theory in Modal Logic’ILLC, University of Amsterdam
D. GrossiF. Velázquez-Quesada2009‘Twelve Angry Men: A Study on the Fine-Grain of Announcements’X. HeJ. HortyE. PacuitLogic, Rationality and InteractionSpringer Lecture Notes in Artificial Intelligence147
A. Grove1988‘Two Modelings for Theory Change’Journal of Philosophical Logic17157
T. Gruene-YanoffS.-O. Hanson2008Preference ChangeDordrechtSpringer
P. GrunwaldJ. Halpern2003‘Updating Probabilities’Journal of Artificial Intelligence Research19243
A. GuptaR. ParikhJ. van Benthem2007Logic at a Cross-Roads: Logic and its Interdisciplinary EnvironmentMumbaiAllied Publishers
Y. GurevichS. Shelah1986‘Fixed-Point Extensions of First-Order Logic’Annals of Pure and Applied Logic32265
J. Halpern1997‘Defining Relative Likelihood in Partially-Ordered Preferential Structure’Journal of Artificial Intelligence Research71
J. Halpern2003‘A Computer Scientist Looks at Game Theory’Games and Economic Behavior45114
J. Halpern2003Reasoning about UncertaintyCambridge (Mass.)The MIT Press
J. HalpernR. van der MeydenM. Vardi2004‘Complete Axiomatizations for Reasoning about Knowledge and Time’SIAM Journal of Computing33674
J. HalpernM. Tuttle1993‘Knowledge, Probability, and Adversaries’Journal of the ACM40917
J. HalpernM. Vardi1989‘The Complexity of Reasoning about Knowledge and Time, I: Lower Bounds’Journal of Computer and System Sciences38195
Y. Hamami2010The Interrogative Model of Inquiry Meets Dynamic Epistemic LogicsIlLCUniversity of Amsterdam
F. HammM. van Lambalgen2004The Proper Treatment of EventsOxfordBlackwell Publishers
H. HansenC. KupkeE. Pacuit2008D. KozenU. MontanariT. MossakowskiJ. Rutten
P. HansenV. Hendricks2007Five Questions on Game TheoryRoskildeAutomatic Press
S. O. Hanson1995‘Changes in Preference’Theory and Decision381
S. O. Hanson2001‘Preference Logic’D. GabbayF. GuenthnerHandbook of Philosophical Logic IV319DordrechtKluwer
B. Hansson1969‘An Analysis of some Deontic Logics’Noûs3373
D. Harel1985‘Recurring Dominoes: Making the Highly Undecidable Highly Understandable’Annals of Discrete Mathematics2451
D. HarelD. KozenJ. Tiuryn2000Dynamic LogicCambridge (Mass.)The MIT Press
P. Harrenstein2004Logic in ConflictInstitute of Computer Science, University of Utrecht
H. Helmholtz1878The Facts of PerceptionMiddletown (Conn.)Wesleyan University Press
V. Hendricks2003J. van BenthemR. van Rooij
V. Hendricks2005Mainstream and Formal EpistemologyCambridge University Press
A. HerzigE. Lorini2010‘A Dynamic Logic of Agency I: STIT, Capabilities and Powers’Journal of Logic, Language and Information1989
J. Hintikka1962Knowledge and BeliefIthacaCornell University Press
J. Hintikka1973Logic, Language Games and InformationOxfordClarendon Press
J. HintikkaI. HalonenA. Mutanen2002‘Interrogative Logic as a General Theory of Reasoning’D. GabbayR. JohnsonH. OhlbachJ. WoodsHandbook of the Logic of Argument and InferenceAmsterdamElsevier295
J. HintikkaG. Sandu1997J. van BenthemA. ter Meulen
H. HodgesW. HodgesJ. van Benthem2007‘Editorial Logic and Psychology’Topoi261
I. HodkinsonM. Reynolds2006‘Temporal Logic’P. BlackburnJ. van BenthemF. WolterHandbook of Modal LogicAmsterdamElsevier655
W. van der HoekB. van LinderJ.-J. Meijer1999‘Group knowledge is Not Always Distributed (neither is it Always Implicit)’Mathematical Social Sciences38215
W. van der HoekJ.-J. Meijer1995Epistemic Logic for AI and Computer ScienceCambridge University Press
W. van der HoekM. Pauly2006P. BlackburnJ. van BenthemF. Wolter
W. van der HoekM. Wooldridge2003‘Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and Its Applications’Studia Logica75125
J. HofbauerK. Sigmund1998Evolutionary Games and Population DynamicsCambridge University Press
M. Hollenberg1998Logic and BisimulationPhilosophical Institute, University of Utrecht
W. Holliday2009‘Dynamic Testimonial Logic’X. HeJ. HortyE. PacuitLogic, Rationality and InteractionSpringer Lecture Notes in AI161
W. HollidayTh. Icard2010‘Moorean Phenomena in Epistemic Logic’Proceedings Advances in Modal Logic 2010Steklov Mathematical InstituteMoscow
J. Horty2001Agency and Deontic LogicOxford University Press
T. Hoshi2009Epistemic Dynamics and Protocol InformationDepartment of Philosophy, Stanford University
T. HoshiA. Yap2009‘Dynamic Epistemic Logic with Branching Temporal Structure’Synthese169259
Th. IcardE. PacuitY. Shoham2009‘Intention Based Belief Revision’Departments of Philosophy and Computer Science, Stanford University
D. IsraelJ. Perry1990‘What is Information?’P. HansonInformation, Language and CognitionVancouverUniversity of British Columbia Press
M. Jago2006Logics for Resource-Bounded AgentsDepartment of Philosophy, University of Nottingham
J. Jaspars1994Calculi for Constructive CommunicationUniversity of Tilburg, ITK & ILLC Dissertation series
R. Ji2004Exploring the Update UniverseILLC, University of Amsterdam
N. Jones1978‘Blindfold Games are Harder than Games with Perfect Information’Bulletin EATCS64
D. de JonghF. Liu2006‘Optimality, Belief, and Preference’S. ArtemovR. ParikhProceedings of the Workshop on Rationality and KnowledgeESSLLI Summer SchoolMalaga
K. Kelly1996The Logic of Reliable InquiryOxford University Press
K. Kelly1998‘The Learning Power of Belief Revision’Proceedings TARK VII Evanston IllinoisMorgan KaufmannSan Francisco111
K. Kelly2002‘Knowledge as Reliable Inferred Stable True Belief’Department of Philosophy, Carnegie Mellon UniversityPittsburgh
G. Kerdiles2001Saying it with PicturesILLC, University of Amsterdam
J. KimE. Sosa2000Epistemology: An AnthologyMalden (Mass.)Blackwell
B. Kooi2003‘Probabilistic Dynamic Epistemic Logic’Journal of Logic, Language and Information12381
S. Kramer2007‘The Meaning of a Cryptographic Message via Hypothetical Knowledge and Provability’J. van BenthemS. JuF. VeltmanA Meeting of the MindsLondonCollege Publications187
S. Kreutzer2004‘Expressive Equivalence of Least and Inflationary Fixed-Point Logic’Annals of Pure and Applied Logic13061
L. Kurzen2007A Logic for Cooperation, Actions and PreferencesILLC, University of Amsterdam
L. Kurzen2010Cooperation and Complexity of InteractionILLC, University of Amsterdam
G. Lakemeyer2009‘The Situation Calculus: A Case for Modal Logic’Journal of Logic, Language and Information19431
M. van LambalgenK. Stenning2007Human Reasoning and Cognitive ScienceCambridge (Mass.)The MIT Press
J. LangL. van der TorreE. Weydert2003‘Hidden Uncertainty in the Logical Representation of Desires’Proceedings IJCAI XVIII685
J. LangL. van der Torre2008‘From Belief Change to Preference Change’Proceedings ECAI 2008: 18th European Conference on Artificial IntelligenceAmsterdamIOS Press
J. van Leeuwen1991Handbook of Theoretical Computer ScienceAmsterdamElsevier
H. Leitgeb2008‘Psychologism in Logic’Studia Logica881
H. LeitgebG. Schurz2005‘Non-Monotonic and Uncertain Reasoning in Cognition'Synthese1461
H. LeitgebK. Segerberg2007‘Dynamic Doxastic Logic: why, how, and where to?’Synthese155167
W. Lenzen1980Glauben, Wissen und WahrscheinlichkeitWien, Springer Verlag, Library of Exact Philosophy
D. Lewis1969ConventionOxfordBlackwell
D. Lewis1973CounterfactualsOxfordBlackwell
D. Lewis1988‘Desire as Belief’Mind97323
K. Leyton-BrownY. Shoham2008Essentials of Game Theory: A Concise Multidisciplinary IntroductionCambridge University Press
C. ListPh. Pettit2004‘Aggregating Sets of Judgments. Two Impossibility Results Compared’Synthese140207
C. ListR. Goodin2006‘Conditional Defense of Plurality Rule: Generalizing May's Theorem in a Restricted Informational Environment’American Journal of Political Science504940
F. Liu2005Diversity of Agents and their InteractionILLC, University of Amsterdam
F. Liu2008Changing for the Better: Preference Dynamics and Preference DiversityILLC, University of Amsterdam
F. Liu2009‘Diversity of Agents and their Interaction’Journal of Logic, Language and Information1823
K. LorenzP. Lorenzen1978Dialogische LogikDarmstadtWissenschaftliche Buchgesellschaft
P. Lorenzen1955Einfuhrung in die Operative Logik und MathematikBerlinSpringer Verlag
E. LoriniC. Castelfranchi2007‘The Cognitive Structure of Surprise: Looking for Basic Principles’Topoi26133
C. Lutz2006
E. Mares1996‘Relevant Logic and the Theory of Information’Synthese109345
P. Martin-Löf1996‘On the Meanings of the Logical Constants and the Justifications of the Logical Laws’Nordic Journal of Philosophical Logic111
M. Marx2006P. BlackburnJ. van BenthemF. Wolter
M. Maynard-Reid IIY. Shoham1998‘From Belief Revision to Belief Fusion’Proceedings of LOFT-98Torino
J. McCarthy1963‘Situations, Actions, and Causal Laws’M. Minsky1968Semantic Information ProcessingCambridge (Mass.)The MIT Press410
J. McCarthy1980‘Circumscription – A Form of Non-Monotonic Reasoning’Artificial Intelligence1327
R. van der Meijden1996‘The Dynamic Logic of Permission’Journal of Logic and Computation6465
J.-J. MeyerW. van der HoekB. van Linder1999‘A Logical Approach to the Dynamics of CommitmentsArtificial Intelligence1131
J. MillerL. Moss2005‘The Undecidability of Iterated Modal Relativization’Studia Logica97373
R. Milner1999Communicating and Mobile Systems: The Pi CalculusCambridge (Mass.)The MIT Press
S. Minica2010Dynamic Logic of QuestionsILLC, University of Amsterdam
P. Mittelstaedt1978Quantum LogicDordrechtReidel
R. Moore1985‘A Formal Theory of Knowledge and Action’J. HobbsR. MooreFormal Theories of the Commonsense WorldAblex Publishing Corp319
Y. Moschovakis1974Elementary Induction on Abstract StructuresAmsterdamNorth-Holland
L. MossJ. Seligman1997‘Situation Theory’J. van BenthemA. ter MeulenHandbook of Logic and LanguageAmsterdamNorth Holland239
E. Nagel1961The Structure of ScienceIndianapolisHackett
Y. Netchitajlov2000An Extension of Game Logic with Parallel OperatorsILLCAmsterdam
R. Nozick1981Philosophical ExplanationsCambridge (Mass.)Harvard University Press
M. OsborneA. Rubinstein1994A Course in Game TheoryCambridge (Mass.The MIT Press
S. van Otterloo2005A Strategic Analysis of Multi-Agent ProtocolsILLC, University of Amsterdam & University of Liverpool
E. PacuitR. Parikh2007‘Reasoning about Communication Graphs’Interactive Logic, Proceedings of the 7th Augustus de Morgan WorkshopJ. van BenthemD. GabbayB. LöweLondonKing's College Press
E. PacuitO. Roy2006‘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
E. PacuitO. Roy2010Interactive RationalityDepartment of Philosophy, University of Groningen and University of Tilburg
C. Papadimitriou1994Computational ComplexityAddison-Wesley
R. Parikh1985‘The Logic of Games’Annals of Discrete Mathematics24111
R. Parikh1991‘Monotonic and Non-Monotonic Logics of Knowledge’Fundamenta InformaticaeXV255
R. Parikh2002‘Social Software’Synthese132187
R. ParikhR. Ramanujam2003‘A Knowledge-Based Semantics of Messages’Journal of Logic, Language and Information12453
M. Pauly2001Logic for Social SoftwareILLC, University of Amsterdam
S. PetersD. Westerståhl2006Quantifiers in Language and LogicOxford University Press
J. Piaget1953The Origins of Intelligence in ChildrenLondonRoutledge and Kegan Paul
J. Plaza1989
G. Priest1997‘Impossible Worlds–Editor's Introduction’Notre Dame Journal of Formal Logic38481
R. Ramanujam2008‘Some Automate Theory for Epistemic Logic’Invited lecture at Workshop on Intelligent InteractionESSLLI Summer SchoolHamburg
R. Ramanujam2010J. van BenthemA. Gupta
A. RaoM. Georgeff1991‘Modeling Rational Agents within a BDI-Architecture’R. FikesE. SandewallProceedings of Knowledge Representation and Reasoning (KR&R-91)San MateoMorgan Kaufmann473
R. Reiter2001Knowledge in ActionCambridge (Mass.)The MIT Press
B. Renne2008Public Communication in Justification LogicCUNY Graduate CenterNew York
G. Restall2000An Introduction to Substructural LogicsLondonRoutledge
B. Rodenhäuser2001Updating Epistemic UncertaintyILLC, University of Amsterdam
R. Rodriguez2006‘Notes on Topological Updates’paper Dynamics SeminarILLCUniversity of Amsterdam
F. Roelofsen2006Distributed KnowledgeILLC, University of Amsterdam
Ph. Rohde2005On Games and Logics over Dynamically Changing StructuresRheinisch-Westfälische Technische Hochschule Aachen
J. W. Romeijn2009‘Meaning Shifts and Conditioning’Philosophical Institute, University of Groningenhttp://irs.ub.rug.nl/dbi/4aeee1a7af4a0
R. van Rooij2003‘Quality and Quantity of Information Exchange’Journal of Logic, Language and Information12423
R. van Rooij2004‘Signalling Games Select Horn Strategies’Linguistics and Philosophy27493
R. van Rooij2005‘Questions and Relevance’Questions and Answers, Proceedings 2nd CoLogNET ElsNET SymposiumILLC, Amsterdam96
H. Rott2001Change, Choice and InferenceOxford University Press
H. Rott2006‘Shifting Priorities: Simple Representations for 27 Iterated Theory Change Operators’H. LagerlundS. LindströmR. SliwinskiModality Matters: Twenty-Five Essays in Honour of Krister SegerbergUppsala Philosophical Studies359
H. Rott2007‘Information Structures in Belief Revision’P. AdriaansJ. van BenthemHandbook of the Philosophy of InformationAmsterdamElsevier Science Publishers457
Sh. Roush2006Tracking Truth: Knowledge, Evidence and ScienceOxford University Press
O. Roy2008Thinking before Acting: Intentions, Logic, and Rational ChoiceILLCUniversity of Amsterdam
J. Sack2008‘Temporal Language for Epistemic Programs’Journal of Logic, Language and Information17183
J. Sack2009‘Extending Probabilistic Dynamic Epistemic Logic’Synthese169241
M. SadrzadehC. Cirstea2006‘Relating Algebraic and Coalgebraic Logics of Knowledge and Update’G. BonannoW. van der HoekProceedings LOFT 2006Department of Computer Science, University of Liverpool
T. Sadzik2005‘Exploring the Iterated Update Universe’Department of Economics, Stanford University
T. Sadzik2009‘Beliefs Revealed in Bayesian-Nash Equilibrium’Department of Economics, New York University
D. Sarenac2009‘Modal Logic for Qualitative Dynamics’Department of Philosophy, Colorado State UniversityFort Collins
J. SearleD. Vanderveken1985Foundations of Illocutionary LogicCambridge University Press
K. Segerberg1995‘Belief Revision from the Point of View of Doxastic Logic’Bulletin of the IGPL3534
K. Segerberg1999‘Default Logic as Dynamic Doxastic Logic’Erkenntnis50333
J. Seligman2010‘Using Hybrid Logic to Analyze Games’Department of Philosophy, University of Auckland
S. Sequoiah-Grayson2007‘Information Gain from Inference’Philosophical InstituteOxford2007
S. Sequoiah-Grayson2009X. HeJ. HortyE. Pacuit
M. Sergot2008‘Temporal Logic of Events and Preference’Department of Computing, Imperial CollegeLondon
M. Sevenster2006Branches of Imperfect Information: Logic, Games, and ComputationILLCAmsterdam
Y. Shoham1988Reasoning About Change: Time and Change from the Standpoint of Artificial IntelligenceCambridge (Mass.)The MIT Press
Y. Shoham2009‘Logical Theories of Intention and the Database Perspective’Journal of Philosophical Logic38633
Y. ShohamK. Leyton-Brown2008Multiagent Systems: Algorithmic, Game Theoretic and Logical FoundationsCambridge University Press
Y. ShohamM. Tennenholtz1999‘What Can a Market Compute and at What Expense?’Department of Computer Science, Stanford University
B. Skyrms1990The Dynamics of Rational DeliberationCambridge (Mass.)Harvard University Press
W. Spohn1988‘Ordinal Conditional Functions: A Dynamic Theory of Epistemic States’W. HarperCausation in Decision, Belief Change and Statistics IIDordrechtKluwer105
F. Staal1988Universals: Studies in Indian Logic and LinguisticsUniversity of Chicago Press
R. Stalnaker1978‘Assertion’P. ColeSyntax and SemanticsNew York, Academic Press315
R. Stalnaker1999‘Extensive and Strategic Form: Games and Models for Games’Research in Economics53293
K. Stenning2001Seeing ReasonOxford University Press
R. Sugden2003‘The Logic of Team Reasoning’Philosophical Explorations6165
Y.-H. TanL. van der Torre1999‘An Update Semantics for Deontic Reasoning’P. McNamaraH. PrakkenNorms, Logics and Information SystemsIOS Press73
N. Tennant2002‘Victor Vanquished’Analysis62135
W. Thomas1992‘Infinite Trees and Automaton Definable Relations over Omega-Words’Theoretical Computer Science103143
L. van der TorreY.-H. Tan1999‘Contrary-to-Duty Reasoning with Preference- Based Dyadic Obligations’Annals of Mathematics and Artificial Intelligence2749
L. van der TorreY-H Tan2001‘Dynamic Normative Reasoning Under Uncertainty: How to Distinguish Between Obligations Under Uncertainty and Prima Facie Obligations’D. GabbayPh. SmetsHandbook of Defeasible Reasoning and Uncertainty Management SystemsAgents, Reasoning and DynamicsDordrecht, Kluwer267
S. Toulmin1958The Uses of ArgumentCambridge University Press
A. M. Turing1950‘Computing Machinery and Intelligence’Mind59433
J. Väänänen2007Dependence LogicCambridge University Press
F. Velázquez-Quesada2008‘Inference and Update’ILLC, University of Amsterdam, presented at Workshop on Logic and Intelligent Interaction, ESSLLI Summer SchoolHamburg
F. Velázquez-Quesada2010Small Steps in the Dynamics of InformationILLC, University of Amsterdam
F. Veltman1985Logics for ConditionalsDissertationPhilosophical Institute, University of Amsterdam
F. Veltman1996‘Defaults in Update Semantics'Journal of Philosophical Logic25221
Y. Venema2006‘Algebras and Co-Algebras’P. BlackburnJ. van BenthemF. WolterHandbook of Modal LogicAmsterdamElsevier331
R. Verbrugge2009‘Logic and Social Cognition’Journal of Philosophical Logic38649
P. WasonP. Johnson-Laird1972The Psychology of ReasoningCambridge (Mass.)Harvard University Press
Y. Wang2010Epistemic Modelling and Protocol DynamicsDissertation, CWI Amsterdam
T. Williamson2000Knowledge and its LimitsOxford University Press
A. Wisniewski1995The Posing of QuestionsDordrechtKluwer
M. Wooldridge2002An Introduction to Multi-Agent SystemsColchesterJohn Wiley
G. H. von Wright1963The Logic of PreferenceEdinburgh University Press
T. Yamada2006‘Acts of Commanding and Changing Obligations’K. InoueK. SatohF. ToniComputational Logic in Multi-Agent Systems CLIMA VIIBerlinSpringer Verlag2007
A. C. Yao1979
A. Yap2006‘Product Update and Temporal Modalities’P. GirardM. MarionO. RoyProceedings Workshop on DynamicsUniversity of Montreal
B. Zarnic1999
J. ZhangF. Liu2007‘Some Thoughts on Mohist Logic’J. van BenthemS. JuF. VeltmanA Meeting of the MindsLondonCollege Publications85
M. Xu2010
T. Yamada2008‘Logical Dynamics of some Speech Acts that Affect Obligations and Preferences’Synthese165295
J. Zvesper2010Playing with InformationDissertationILLC, University of Amsterdam