Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
Hostname: page-component-76fb5796d-25wd4 Total loading time: 0 Render date: 2024-04-26T17:06:51.549Z Has data issue: false hasContentIssue false

References

Published online by Cambridge University Press:  07 October 2011

Johan van Benthem
Johan van Benthem
Affiliation:
Universiteit van Amsterdam
Get access

Summary

A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Chapter
Information
Logical Dynamics of Information and Interaction , pp. 346 - 369
Publisher: Cambridge University Press
Print publication year: 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Abramsky, S. 2006 ‘Socially Responsive, Environmentally Friendly Logic’Aho, T.Pietarinen, A.-V.Truth and Games: Essays in Honour of Gabriel SanduActa Philosophica Fennica17Google Scholar
Abramsky, S. 2008 ‘Information, Processes and Games’Adriaans, P.van Benthem, J.Handbook of the Philosophy of InformationAmsterdamElsevier Science Publishers483CrossRefGoogle Scholar
Abramsky, S.Jagadeesan, R. 1992 ‘Games and Full Completeness for Multiplicative Linear Logic’Journal of Symbolic Logic 59 543CrossRefGoogle Scholar
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 271Google Scholar
Ågotnes, T.van Benthem, J.van Ditmarsch, H.Minica, S. 2010 ‘Question Answer Games’University of ToulouseGoogle Scholar
Ågotnes, T.van Ditmarsch, H. 2009 ‘What Will They Say? Public Announcement Games’University of Bergen & University of SevilleTsukubaJapanGoogle Scholar
Ågotnes, T.Goranko, V.Jamroga, W. 2007 ‘Alternating-Time Temporal Logics with Irrevocable Strategies’Samet, D.Proceedings of TARK IXUniv. Saint-LouisBrussels15Google Scholar
Aiello, M.Pratt, I.van Benthem, J. 2007 Handbook of Spatial LogicsDordrechtSpringer Academic PublishersCrossRef
Alur, R.Henzinger, T.Kupferman, O. 1997 ‘Alternating-Time Temporal Logic’Proceedings of the 38th IEEE Symposium on Foundations of Computer ScienceFlorida100Google Scholar
Anand, P.Pattanaik, P.Puppe, C. 2009 The Handbook of Rational and Social ChoiceOxford University PressCrossRef
Andréka, H.van Benthem, J.Németi, I. 1998 ‘Modal Logics and Bounded Fragments of Predicate Logic’Journal of Philosophical Logic 27 217CrossRefGoogle Scholar
Andréka, H.Ryan, M.Schobbens, P.-Y. 2002 ‘Operators and Laws for Combining Preference Relations’Journal of Logic and Computation 12 13CrossRefGoogle Scholar
Apt, K. 2005 ‘The Many Faces of Rationalizability', CWI AmsterdamBerkeley Electronic Journal of Theoretical Economics 7Google Scholar
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 171CrossRefGoogle Scholar
Artemov, S. 1994 ‘Logic of Proofs’Annals of Pure and Applied Logic 67 29CrossRefGoogle Scholar
Artemov, S. 2001 ‘Explicit Provability and Constructive Semantics’Bulletin of Symbolic Logic 7 1CrossRefGoogle Scholar
Artemov, S. 2007 ‘Justification Logic’Technical Report TR-2007019CUNY Graduate CenterNew YorkGoogle Scholar
Aucher, G. 2004 ‘A Combined System for Update Logic and Belief Revision’Master of Logic ThesisUniversity of AmsterdamGoogle Scholar
Aucher, G. 2008 ‘Perspectives on Belief and Change’DissertationIRITToulouseGoogle Scholar
Aucher, G. 2009 ‘BMS Revisited’Heifetz, A.Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK 2009)Stanford24Google Scholar
Aumann, R. 1976 ‘Agreeing to Disagree’The Annals of Statistics 4 1236CrossRefGoogle Scholar
Axelrod, R. 1984 The Evolution of CooperationNew YorkBasic BooksGoogle Scholar
Bacchus, F. 1990 Representing and Reasoning with Probabilistic Knowledge, A Logical Approach to ProbabilitiesCambridge (Mass.The MIT PressGoogle Scholar
Baggio, G.van Lambalgen, M.Hagoort, P. 2007 ‘Language, Linguistics and Cognition’Stokhof, M.Groenendijk, J.Handbook of the Philosophy of LinguisticsAmsterdamElsevierGoogle Scholar
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 305CrossRefGoogle Scholar
Balbiani, P.Herzig, A.Troquard, N. 2007 ‘Alternative Axiomatics and Complexity of Deliberative STIT Theories’IRITToulouseGoogle Scholar
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 1CrossRefGoogle Scholar
Baltag, A.van Benthem, J.Smets, S. 2010 A Dynamic-Logical Approach to EpistemologyUniversities of OxfordAmsterdam, and GroningenGoogle Scholar
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 Publishers361CrossRefGoogle Scholar
Baltag, A.Gierasimczuk, N.Smets, S. 2010 ‘For Tracking the Truth, Keep Revising Your Beliefs’Invited lecture at NASSLLI 2010BloomingtonGoogle Scholar
Baltag, A.Moss, L. 2004 ‘Logics for Epistemic Programs’Synthese: Knowledge, Rationality, and Action 2 165CrossRefGoogle Scholar
Baltag, A.Moss, L.Solecki, S. 1998 ‘The Logic of Public Announcements, Common Knowledge and Private Suspicions’Proceedings TARK 199843Morgan Kaufmann PublishersLos AltosGoogle Scholar
Baltag, A.Smets, S. 2004 ‘The Logic of Quantum Programs’Mathematical Structures in Computer Science 16 491CrossRefGoogle Scholar
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 Liverpool11Google Scholar
Baltag, A.Smets, S. 2007 ‘From Conditional Probability to the Logic of Doxastic Actions’Proceedings TARK XIUCL Presses Universitaires de Louvain52Google Scholar
Baltag, A.Smets, S. 2007 ‘Probabilistic Dynamic Belief Revision’van Benthem, J.Ju, S.Veltman, F.A Meeting of the MindsLondonCollege Publications21Google Scholar
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 Press9Google Scholar
Baltag, A.Smets, S. 2008 ‘A Dynamic-Logical Perspective on Quantum Behavior’Studia Logica 89 185CrossRefGoogle Scholar
Baltag, A.Smets, S. 2009 ‘Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades’Proceedings TARK XIIStanford41Google Scholar
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 124CrossRefGoogle Scholar
Baltag, A.Smets, S. 2009 ‘Talking Your Way into Agreement: Belief Merge by Persuasive Communication’CEUR Workshop Proceedings 494 129Google Scholar
Baltag, A.Smets, S. 2010 ‘Surprise?! An Answer to the Hangman, or How to Avoid Unexpected Exams!’University of Oxford and University of GroningenGoogle Scholar
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 200858Google Scholar
Baltag, A.Gierasimczuk, N.Smets, S. 2010 ‘For Tracking the Truth, Keep Revising Your Beliefs’Invited Lecture at NASSLLI 2010Indiana UniversityBloomingtonGoogle Scholar
Bar-Hillel, Y.Carnap, R. 1953 ‘Semantic Information’The British Journal for the Philosophy of Science 4 147CrossRefGoogle Scholar
Barwise, J. 1985 ‘Three Theories of Common Knowledge’Proceedings TARK IISan FranciscoMorgan Kauffman365Google Scholar
Barwise, J.van Benthem, J. 1999 ‘Interpolation, Preservation, and Pebble Games’Journal of Symbolic Logic 64 881CrossRefGoogle Scholar
Barwise, J.Etchemendy, J. 1991 ‘Visual Information and Valid Reasoning’Visualization in Teaching and Learning MathematicsWashington, DCMathematical Association of America9Google Scholar
Barwise, J.Moss, L. 1996 Vicious Circles: On the Mathematics of Non-Wellfounded PhenomenaStanfordCSLI PublicationsGoogle Scholar
Barwise, J.Perry, J. 1983 Situations and AttitudesCambridge (Mass.)The MIT PressGoogle Scholar
Barwise, J.Seligman, J. 1995 Information Flow, the Logic of Distributed SystemsCambridge University PressGoogle Scholar
Battigalli, P.Bonanno, G. 1999 ‘Recent Results on Belief, Knowledge and the Epistemic Foundations of Game Theory’Research in Economics 53 149CrossRefGoogle Scholar
Battigalli, P.Siniscalchi, M. 1999 ‘Hierarchies of Conditional Beliefs and Interactive Epistemology in Dynamic Games’Journal of Economic Theory 88 188CrossRefGoogle Scholar
Beall, J.Restall, G. 2006 Logical PluralismOxford University PressGoogle Scholar
Belnap, N.Perloff, M.Xu, M. 2001 Facing the FutureOxford University PressGoogle Scholar
Belnap, N.Steele, Th. 1976 The Logic of Questions and AnswersNew HavenYale University PressGoogle Scholar
van Benthem, J. 1984 ‘Correspondence Theory’Gabbay, D.Guenthner, F.Handbook of Philosophical LogicDordrechtReidel167CrossRefGoogle Scholar
van Benthem, J. 1989 ‘Semantic Parallels in Natural Language and Computation’Ebbinghaus, H.-D.Logic Colloquium. Granada 1987AmsterdamNorth-Holland331Google Scholar
van Benthem, J. 1991 Language in Action: Categories, Lambdas and Dynamic LogicAmsterdamNorth-Holland & Cambridge (Mass.), The MIT PressGoogle Scholar
van Benthem, J. 1993 ‘Reflections on Epistemic Logic’Logique et Analyse 34 5Google Scholar
van Benthem, J. 1996 Exploring Logical DynamicsStanfordCSLI PublicationsGoogle Scholar
van Benthem, J. 1997 ‘Dynamic Bits and Pieces’ILLC, University of AmsterdamGoogle Scholar
van Benthem, J. 1999 Logic in Gameslecture notes, ILLC, University of AmsterdamGoogle Scholar
van Benthem, J. 1999 ‘Update as Relativization’ILLC, University of AmsterdamGoogle Scholar
van Benthem, J. 1999 ‘Wider Still and Wider: Resetting the Bounds of Logic’Varzi, A.The European Review of PhilosophyStanfordCSLI Publications21Google Scholar
van Benthem, J. 2000 ‘Update Delights’Invited Lecture, ESSLLI Summer SchoolUniversity of BirminghamGoogle Scholar
van Benthem, J. 2001 ‘Games in Dynamic Epistemic Logic’Bulletin of Economic Research 53 219CrossRefGoogle Scholar
van Benthem, J. 2002 ‘Extensive Games as Process Models’Journal of Logic, Language and Information 11 289CrossRefGoogle Scholar
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 409CrossRefGoogle Scholar
van Benthem, J. 2003 Morscher, E.
van Benthem, J. 2003 ‘Logic and the Dynamics of Information’Minds and Machines 13 503CrossRefGoogle Scholar
van Benthem, J. 2003 ‘Structural Properties of Dynamic Reasoning’Peregrin, J.Meaning: the Dynamic TurnAmsterdamElsevier15Google Scholar
van Benthem, J. 2004 Update and Revision in Gameslecture notesILLCAmsterdam & Philosophy StanfordGoogle Scholar
van Benthem, J. 2004 ‘What One May Come to Know’Analysis 64 95CrossRefGoogle Scholar
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 BirthdaySpringer268Google Scholar
van Benthem, J. 2005 ‘Guards, Bounds, and Generalized Semantics’Journal of Logic, Language and Information 14 263CrossRefGoogle Scholar
van Benthem, J. 2005 Moss, L.
van Benthem, J. 2006 ‘Epistemic Logic and Epistemology: the State of their Affairs’Philosophical Studies 128 49CrossRefGoogle Scholar
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 MA96Google Scholar
van Benthem, J. 2006 ‘Open Problems in Update Logic’Gabbay, D.Goncharov, S.Zakharyashev, M.Mathematical Problems from Applied Logic ISpringerNew York & Novosibirsk137CrossRefGoogle Scholar
van Benthem, J.Pacuit, E. 2007 ‘Modeling Protocols in Temporal Models’ILLCUniversity of AmsterdamGoogle Scholar
van Benthem, J. 2007 ‘Cognition as Interaction’Bouma, G.Krämer, I.Zwarts, J.Cognitive Foundations of InterpretationKNAWAmsterdam27Google Scholar
van Benthem, J. 2007 ‘Dynamic Logic of Belief Revision’Journal of Applied Non-Classical Logics 17 129CrossRefGoogle Scholar
van Benthem, J. 2007 In Praise of Strategies’van Eijck, J.Verbrugge, R.Games, Actions, and Social SoftwareLondonCollege PublicationsGoogle Scholar
van Benthem, J. 2007 ‘Logic Games, From Tools to Models of Interaction’Gupta, A.Parikh, R.van Benthem, J.Logic at the CrossroadsMumbaiAllied Publishers283Google Scholar
van Benthem, J. 2007 ‘Logic in Philosophy’Jacquette, D.Handbook of the Philosophy of LogicAmsterdamElsevier65Google Scholar
van Benthem, J. 2007 ‘Rational Dynamics’International Game Theory Review 9 13CrossRefGoogle Scholar
van Benthem, J. 2007 ‘Rationalizations and Promises in Games’Philosophical TrendsChinese Academy of Social SciencesBeijing1Google Scholar
van Benthem, J. 2008 ‘Computation as Conversation’Cooper, B.Löwe, B.Sorbi, A.New Computational Paradigms: Changing Conceptions of What is ComputableNew YorkSpringer35CrossRefGoogle Scholar
van Benthem, J. 2008 ‘Logic and Reasoning: Do the Facts Matter?’Studia Logica 88 67CrossRefGoogle Scholar
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 PublicationsGoogle Scholar
van Benthem, J. 2008 ‘Logical Pluralism Meets Logical Dynamics’Australasian Journal of Logic 6 1CrossRefGoogle Scholar
van Benthem, J. 2008 ‘Merging Observational and Access Dynamics in Logic’Journal of Logic Studies 1Google Scholar
van Benthem, J. 2008
van Benthem, J. 2009 ‘Actions that Make Us Know’Salerno, J.New Essays on the Knowability ParadoxOxford University Press129CrossRefGoogle Scholar
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 2009Springer1Google Scholar
van Benthem, J. 2009 ‘For Better of for Worse: Dynamic Logics of Preference’Grüne-Yanoff, T.Hansson, S.-O.Preference ChangeDordrechtSpringer57CrossRefGoogle Scholar
van Benthem, J. 2009 ‘McCarthy Variations in a Modal Key’University of AmsterdamGoogle Scholar
van Benthem, J. 2009 ‘The Information in Intuitionistic Logic’Synthese 167 251CrossRefGoogle Scholar
van Benthem, J. 2009 ‘Update as Social Choice’Girard, P.Marion, M.Roy, O.Proceedings Dynamics Workshop Montreal 2007SpringerGoogle Scholar
van Benthem, J. 2010 ‘A Logician Looks at Argumentation Theory’CogencySantiago de ChiliGoogle Scholar
van Benthem, J. 2010 ‘Categorial versus Modal Information Theory’Linguistic Analysis 36 533Google Scholar
van Benthem, J. 2010 ‘Logic, Mathematics, and General Agency’Bour, P. E.Rebuschi, M.Rollell, L.LondonCollege Publications281Google Scholar
van Benthem, J. 2010
van Benthem, J. 2010 ‘Two Kinds of Dynamics in Logic’University of StuttgartGoogle Scholar
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 LogicAmsterdamElsevier1Google Scholar
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, HeidelbergSpringerGoogle Scholar
van Benthem, J.van Eijck, J.Frolova, A. 1993 Changing PreferencesCentre for Mathematics & Computer ScienceAmsterdamGoogle Scholar
van Benthem, J.van Eijck, J.Kooi, B. 2006 ‘Logics of Communication and Change’Information and Computation 204 1620CrossRefGoogle Scholar
van Benthem, J.Gerbrandy, J.Hoshi, T.Pacuit, E. 2007 ‘Merging Frameworks for Interaction’Proceedings TARK 2007 38 491Google Scholar
van Benthem, J.Gerbrandy, J.Kooi, B. 2006 ‘Dynamic Update with Probabilities’University of AmsterdamStudia Logica 93 67CrossRefGoogle Scholar
van Benthem, J.Gheerbrant, A. 2010 ‘Game Solution, Epistemic Dynamics, and Fixed-Point Logics’Fundamenta Informaticae 100 19Google Scholar
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.htmlCrossRefGoogle Scholar
van Benthem, J.Grossi, D.Liu, F. 2010 ‘Deontics = Betterness + Priority’Governatori, G.Sartor, G.Deontic Logic in Computer ScienceSpringer50CrossRefGoogle Scholar
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 BirthdayBerlinSpringer146CrossRefGoogle Scholar
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, Heinrich197Google Scholar
van Benthem, J.Liu, F. 2004 ‘Diversity of Logical Agents in Games’Philosophia Scientiae 8 163CrossRefGoogle Scholar
van Benthem, J.Liu, F. 2007 ‘Dynamic Logic of Preference Upgrade’Journal of Applied Non-Classical Logics 17 157CrossRefGoogle Scholar
van Benthem, J.Martinez, M. 2008 ‘The Stories of Logic and Information’Adriaans, P.van Benthem, J.Handbook of the Philosophy of InformationAmsterdamElsevier Science Publishers217CrossRefGoogle Scholar
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 Intelligence27CrossRefGoogle Scholar
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 LanguageAmsterdamElsevier587Google Scholar
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 Uppsala61Google Scholar
van Benthem, J.Pacuit, E. 2006 ‘The Tree of Knowledge in Action’Proceedings Advances in Modal LogicANU Melbourne87Google Scholar
van Benthem, J.Pacuit, E. 2007 ‘Modeling Protocols in Temporal Models’ILLCUniversity of Amsterdam.Google Scholar
van Benthem, J.Pacuit, E. 2010 ‘Temporal Logics of Agency’Journal of Logic, Language and Information 19 1CrossRef
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 Neuchatel1Google Scholar
van Benthem, J.Velázquez-Quesada, F. 2009 ‘Inference, Promotion, and the Dynamics of Awareness’ILLCAmsterdamGoogle Scholar
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 PressGoogle Scholar
Board, O. 1998 ‘Belief Revision and Rationalizability’Proceedings TARK 1998 201Google Scholar
Bod, R. 1998 Beyond Grammar: An Experience-Based Theory of LanguageStanfordCSLI PublicationsGoogle Scholar
Boella, G.Pigozzi, G.van der Torre, L. 1999 Sierra, C.
Bolzano, B. 1837 Wissenschaftslehre, Seidelsche Buchhandlung, SulzbachGeorge, R.Berkeley & Los AngelesUniversity of California Press1972Google Scholar
Bonanno, G. 2001 ‘Branching Time, Perfect Information Games, and Backward Induction’Games and Economic Behavior 36 57CrossRefGoogle Scholar
Bonanno, G. 2004 ‘Memory and Perfect Recall in Extensive Games’Games and Economic Behaviour 47 237CrossRefGoogle Scholar
Bonanno, G. 2007 ‘Axiomatic Characterization of the theory of Belief Revision in a Temporal Logic’Artificial Intelligence 171 144CrossRefGoogle Scholar
Bonnay, D. 2006 What is a Logical Constant?École Normale SupérieureParisGoogle Scholar
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 2007Google Scholar
Boutilier, C. 1994 ‘Conditional Logics of Normality; A Modal Approach’Artificial Intelligence 68 87CrossRefGoogle Scholar
Boutilier, C.Goldszmidt, M. 1993 ‘Revision by Conditional Beliefs’Proceedings AAAI 11Washington DCMorgan Kaufmann649Google Scholar
Bradfield, J.Stirling, C. 2006 Blackburn, P.van Benthem, J.Wolter, F.
Bradley, R. 2007 ‘The Kinematics of Belief and Desire’Synthese 156 513CrossRefGoogle Scholar
Brafman, R.Latombe, J.-C.Shoham, Y. 1993 ‘Towards Knowledge-Level Analysis of Motion Planning’Proceedings AAAI 1993 670Google Scholar
Brandenburger, A.Keisler, H. J. 2006 ‘An Impossibility Theorem on Beliefs in Games’Studia Logica 84 211CrossRefGoogle Scholar
Bratman, M. 1992 ‘Shared Cooperative Activity’The Philosophical Review 101 327CrossRefGoogle Scholar
Broersen, J. 2009
Broersen, J.Herzig, A.Troquard, N. 2006 ‘A -Extension of Proceedings JELIA 2006 69Google Scholar
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 AmsterdamGoogle Scholar
Burgess, J. 1981 ‘Quick Completeness Proofs for some Logics of Conditionals’Notre Dame Journal of Formal Logic 22 76CrossRefGoogle Scholar
Carnap, R. 1952 The Continuum of Inductive MethodsUniversity of Chicago PressGoogle Scholar
Castelfranchi, C.Paglieri, F. 2007 ‘The Role of Beliefs in Goal Dynamics: Prolegomena to a Constructive theory of Intentions’Synthese 155 237CrossRefGoogle Scholar
ten Cate, B.Shan, Ch-ch 2002 Nissim, Malvina
Cohen, P.Levesque, H. 1990 ‘Intention is Choice with Commitment’Artificial Intelligence 42 213CrossRefGoogle Scholar
Condon, A. 1988 Computational Models of GamesComputer Science Department, University of WashingtonGoogle Scholar
Cornelisse, I. 2010 ‘Dynamic Doxastic Probability Logic’Dynamics SeminarILLCUniversity of AmsterdamGoogle Scholar
van Dalen, D. 2002 ‘Intuitionistic Logic’Gabbay, D.Guenthner, F.Handbook of Philosophical LogicDordrechtKluwer1Google Scholar
Dawar, A.Grädel, E.Kreutzer, S. 2004 ‘Inflationary Fixed Points in Modal Logic'ACM Transactions on Computational Logic 5 282CrossRefGoogle Scholar
Dechesne, F.Wang, Y. 2007 ‘Dynamic Epistemic Verification of Security Protocols’van Benthem, J.Ju, S.Veltman, F.A Meeting of the MindsLondonCollege Publications129Google Scholar
Dégrémont, C. 2010 The Temporal Mind: Observations on Belief Change in Temporal SystemsILLC, University of AmsterdamGoogle Scholar
Dégrémont, C.Roy, O. 2009 ‘Agreement Theorems in Dynamic Epistemic Logic’Heifetz, A.Proceedings TARK 2009Stanford91Google Scholar
Demey, L. 2010 Agreeing to Disagree in Probabilistic Dynamic Epistemic LogicILLCUniversity of AmsterdamGoogle Scholar
Demey, L. 2010 ‘Some Remarks on the Model Theory of Epistemic Plausibility Models’Dynamics SeminarILLCUniversity of AmsterdamGoogle Scholar
van Ditmarsch, H. 2000 Knowledge GamesILLC University of Amsterdam & Department of Informatics, University of GroningenGoogle Scholar
van Ditmarsch, H. 2003 ‘The Russian Cards Problem’Studia Logica 75 31CrossRefGoogle Scholar
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 Press478Google Scholar
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 2007Google Scholar
van Ditmarsch, H.van der Hoek, W.Kooi, B. 2007 Dynamic-Epistemic LogicBerlinSpringerCrossRefGoogle Scholar
van Ditmarsch, H.Kooi, B. 2006 ‘The Secret of My Success’Synthese 151 201CrossRefGoogle Scholar
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 Press87Google Scholar
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 Press69Google Scholar
Dretske, F. 1981 Knowledge and the Flow of InformationUniversity of Chicago PressGoogle Scholar
Dummett, M. 1977 Elements of lntuitionismOxford University PressGoogle Scholar
Dunbar, R. 1998 Grooming, Gossip, and the Evolution of LanguageCambridge (Mass)Harvard University PressGoogle Scholar
Dung, P. 1995 ‘An Argumentation-Theoretic Foundation for Logic Programming’Journal of Logic Programming 22 151CrossRefGoogle Scholar
Dunin-Keplicz, B.Verbrugge, R. 2002 ‘Collective Intentions’Fundamenta Informaticae 51 271Google Scholar
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)BerlinSpringer31CrossRefGoogle Scholar
Ebbinghaus, H.-D.Flum, J. 1995 Finite Model TheoryBerlinSpringerGoogle Scholar
van Eijck, J. 2005 ‘DEMO - A Demo of Epistemic Modelling’van Benthem, J.Gabbay, D.Loewe, B.Interactive LogicAmsterdam University Press305Google Scholar
van Eijck, J.Ruan, J.Sadzik, T. 2006 ‘Action Emulation’CWIAmsterdamGoogle Scholar
van Eijck, J.Sietsma, F. 2009 ‘Multi-Agent Belief Revision with Linked Plausibilities’Proceedings LOFT VIIIAmsterdamGoogle Scholar
van Eijck, J.Sietsma, F.Wang, Y. 2009 ‘Logic of Information Flow on Communication Channels’CWIAmsterdamhttp://loriweb.org/Google Scholar
van Emde Boas, P. 2002 Models for Games and Complexitylecture notesILLCAmsterdamGoogle Scholar
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 PressGoogle Scholar
Fagin, R.Halpern, J. 1993 ‘Reasoning about Knowledge and Probability’Journal of the ACM 41 340CrossRefGoogle Scholar
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 Kaufmann41Google Scholar
Feinberg, Y. 2007 ‘Meaningful Talk’van Benthem, J.Ju, S.Veltman, F.A Meeting of the MindsLondonCollege Publications41Google Scholar
Fitelson, B. 2006 ‘Old Evidence, Logical Omniscience & Bayesianism’Lecture ILLC Workshop Probability and LogicDepartment of Philosophy, University of California at BerkeleyGoogle Scholar
French, T.van Ditmarsch, H. 2008 ‘Undecidability for Arbitrary Public Announcement Logic’Areces, C.Goldblatt, R.Proceedings Advances in Modal Logic VIILondonCollege Publications23Google Scholar
Gabbay, D. 1996 Labeled Deductive SystemsOxfordClarendon PressGoogle Scholar
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 birthdayBerlinSpringer292CrossRefGoogle Scholar
Gabbay, D.Guenthner, F. 1983 Handbook of Philosophical LogicDordrechtKluwer Academic PublishersCrossRef
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 PublishersCrossRef
Gärdenfors, P. 1988 Knowledge in FluxCambridge (Mass.)Bradford Books/The MIT PressGoogle Scholar
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 LundGoogle Scholar
Geanakoplos, J. 1992 ‘Common Knowledge’The Journal of Economic Perspectives 6 53CrossRefGoogle Scholar
Geanakoplos, J.Polemarchakis, H. 1982 ‘We Can't Disagree Forever’Journal of Economic Theory 28 192CrossRefGoogle Scholar
Gerbrandy, J. 1999 Bisimulations on Planet KripkeILLC, University of AmsterdamGoogle Scholar
Gerbrandy, J. 1999 ‘Dynamic Epistemic Logic’Moss, L. S.Ginzburg, J.de Rijke, M.Logic, Language and ComputationStanfordCSLI Publications67Google Scholar
Gerbrandy, J. 2005 ‘The Surprise Examination in Dynamic Epistemic Logic’Synthese 155 21CrossRefGoogle Scholar
Gerbrandy, J.Groeneveld, W. 1997 ‘Reasoning about Information Change’Journal of Logic, Language and Information 6 147CrossRefGoogle Scholar
Geurts, B. 2003 ‘Reasoning with Quantifiers’Cognition 86 223CrossRefGoogle Scholar
Gheerbrant, A. 2010 Fixed-Point Logics on TreesILLCUniversity of AmsterdamGoogle Scholar
Ghidini, C.Giunchiglia, F. 2001 ‘Local Model Semantics, or Contextual Reasoning = Locality + Compatibility’Artificial Intelligence 127 221CrossRefGoogle Scholar
Gierasimczuk, N. 2009 ‘Bridging Learning Theory and Dynamic Epistemic Logic’Synthese 169 371CrossRefGoogle Scholar
Gierasimczuk, N. 2010 In the Limits of Knowledge: Logical Analysis of Inductive InferenceDissertation, ILLCUniversity of AmsterdamGoogle Scholar
Gierasimczuk, N.de Jongh, D. 2009 ‘On the Minimality of Definite Tell-tale Sets in Finite Identification of Languages’ILLC, University of AmsterdamGoogle Scholar
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 PressGoogle Scholar
Giles, R. 1974 ‘A Non-Classical Logic for Physics’Studia Logica 33 399CrossRefGoogle Scholar
Ginzburg, J. 2009 The Interactive Stance: Meaning for ConversationDepartment of Computer Science, King's CollegeLondonGoogle Scholar
Girard, P. 2008 Modal Logic for Belief and Preference ChangeDepartment of Philosophy, Stanford University & ILLC AmsterdamGoogle Scholar
Gochet, P. 2006 ‘La Formalisation du Savoir-Faire’Lecture at Pierre Duhem Colloquium IPHRST ParisPhilosophical InstituteUniversité de LiegeGoogle Scholar
Goldman, A. 1999 Knowledge in a Social WorldOxford University PressCrossRefGoogle Scholar
Goranko, V.van Drimmelen, G. 2006 ‘Complete Axiomatization and Decidability of Alternating-Time Temporal Logic’Theoretical Computer Science 353 93CrossRefGoogle Scholar
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 Intelligence80Google Scholar
Groenendijk, J.Stokhof, M. 1985 Studies in the Semantics of Questions and the Pragmatics of AnswersPhilosophical Institute, University of AmsterdamGoogle Scholar
Groenendijk, J.Stokhof, M. 1991 ‘Dynamic Predicate Logic’Linguistics and Philosophy 14 39CrossRefGoogle Scholar
Groenendijk, J.Stokhof, M. 1997 ‘Questions’van Benthem, J.ter Meulen, A.Handbook of Logic and LanguageAmsterdamElsevier1055CrossRefGoogle Scholar
Grossi, D. 2007 Designing Invisible Handcuffs. Formal Investigations in Institutions and Organizations for Multi-Agent SystemsDepartment of Computer Science, Utrecht UniversityGoogle Scholar
Grossi, D. 2009 ‘Doing Argumentation Theory in Modal Logic’ILLC, University of AmsterdamGoogle Scholar
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 Intelligence147CrossRefGoogle Scholar
Grove, A. 1988 ‘Two Modelings for Theory Change’Journal of Philosophical Logic 17 157CrossRefGoogle Scholar
Gruene-Yanoff, T.Hanson, S.-O. 2008 Preference ChangeDordrechtSpringer
Grunwald, P.Halpern, J. 2003 ‘Updating Probabilities’Journal of Artificial Intelligence Research 19 243Google Scholar
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 265CrossRefGoogle Scholar
Halpern, J. 1997 ‘Defining Relative Likelihood in Partially-Ordered Preferential Structure’Journal of Artificial Intelligence Research 7 1Google Scholar
Halpern, J. 2003 ‘A Computer Scientist Looks at Game Theory’Games and Economic Behavior 45 114CrossRefGoogle Scholar
Halpern, J. 2003 Reasoning about UncertaintyCambridge (Mass.)The MIT PressGoogle Scholar
Halpern, J.van der Meyden, R.Vardi, M. 2004 ‘Complete Axiomatizations for Reasoning about Knowledge and Time’SIAM Journal of Computing 33 674CrossRefGoogle Scholar
Halpern, J.Tuttle, M. 1993 ‘Knowledge, Probability, and Adversaries’Journal of the ACM 40 917CrossRefGoogle Scholar
Halpern, J.Vardi, M. 1989 ‘The Complexity of Reasoning about Knowledge and Time, I: Lower Bounds’Journal of Computer and System Sciences 38 195CrossRefGoogle Scholar
Hamami, Y. 2010 The Interrogative Model of Inquiry Meets Dynamic Epistemic LogicsIlLCUniversity of AmsterdamGoogle Scholar
Hamm, F.van Lambalgen, M. 2004 The Proper Treatment of EventsOxfordBlackwell PublishersGoogle Scholar
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 1CrossRefGoogle Scholar
Hanson, S. O. 2001 ‘Preference Logic’Gabbay, D.Guenthner, F.Handbook of Philosophical Logic IV319DordrechtKluwerCrossRefGoogle Scholar
Hansson, B. 1969 ‘An Analysis of some Deontic Logics’Noûs 3 373CrossRefGoogle Scholar
Harel, D. 1985 ‘Recurring Dominoes: Making the Highly Undecidable Highly Understandable’Annals of Discrete Mathematics 24 51Google Scholar
Harel, D.Kozen, D.Tiuryn, J. 2000 Dynamic LogicCambridge (Mass.)The MIT PressGoogle Scholar
Harrenstein, P. 2004 Logic in ConflictInstitute of Computer Science, University of UtrechtGoogle Scholar
Helmholtz, H. 1878 The Facts of PerceptionMiddletown (Conn.)Wesleyan University PressGoogle Scholar
Hendricks, V. 2003 van Benthem, J.van Rooij, R.
Hendricks, V. 2005 Mainstream and Formal EpistemologyCambridge University PressCrossRefGoogle Scholar
Herzig, A.Lorini, E. 2010 ‘A Dynamic Logic of Agency I: STIT, Capabilities and Powers’Journal of Logic, Language and Information 19 89CrossRefGoogle Scholar
Hintikka, J. 1962 Knowledge and BeliefIthacaCornell University PressGoogle Scholar
Hintikka, J. 1973 Logic, Language Games and InformationOxfordClarendon PressGoogle Scholar
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 InferenceAmsterdamElsevier295Google Scholar
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 LogicAmsterdamElsevier655Google Scholar
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 215CrossRefGoogle Scholar
van der Hoek, W.Meijer, J.-J. 1995 Epistemic Logic for AI and Computer ScienceCambridge University PressGoogle Scholar
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 125CrossRefGoogle Scholar
Hofbauer, J.Sigmund, K. 1998 Evolutionary Games and Population DynamicsCambridge University PressCrossRefGoogle Scholar
Hollenberg, M. 1998 Logic and BisimulationPhilosophical Institute, University of UtrechtGoogle Scholar
Holliday, W. 2009 ‘Dynamic Testimonial Logic’He, X.Horty, J.Pacuit, E.Logic, Rationality and InteractionSpringer Lecture Notes in AI161CrossRefGoogle Scholar
Holliday, W.Icard, Th. 2010 ‘Moorean Phenomena in Epistemic Logic’Proceedings Advances in Modal Logic 2010Steklov Mathematical InstituteMoscowGoogle Scholar
Horty, J. 2001 Agency and Deontic LogicOxford University PressCrossRefGoogle Scholar
Hoshi, T. 2009 Epistemic Dynamics and Protocol InformationDepartment of Philosophy, Stanford UniversityGoogle Scholar
Hoshi, T.Yap, A. 2009 ‘Dynamic Epistemic Logic with Branching Temporal Structure’Synthese 169 259CrossRefGoogle Scholar
Icard, Th.Pacuit, E.Shoham, Y. 2009 ‘Intention Based Belief Revision’Departments of Philosophy and Computer Science, Stanford UniversityGoogle Scholar
Israel, D.Perry, J. 1990 ‘What is Information?’Hanson, P.Information, Language and CognitionVancouverUniversity of British Columbia PressGoogle Scholar
Jago, M. 2006 Logics for Resource-Bounded AgentsDepartment of Philosophy, University of NottinghamGoogle Scholar
Jaspars, J. 1994 Calculi for Constructive CommunicationUniversity of Tilburg, ITK & ILLC Dissertation seriesGoogle Scholar
Ji, R. 2004 Exploring the Update UniverseILLC, University of AmsterdamGoogle Scholar
Jones, N. 1978 ‘Blindfold Games are Harder than Games with Perfect Information’Bulletin EATCS 6 4Google Scholar
de Jongh, D.Liu, F. 2006 ‘Optimality, Belief, and Preference’Artemov, S.Parikh, R.Proceedings of the Workshop on Rationality and KnowledgeESSLLI Summer SchoolMalagaGoogle Scholar
Kelly, K. 1996 The Logic of Reliable InquiryOxford University PressGoogle Scholar
Kelly, K. 1998 ‘The Learning Power of Belief Revision’Proceedings TARK VII Evanston IllinoisMorgan KaufmannSan Francisco111Google Scholar
Kelly, K. 2002 ‘Knowledge as Reliable Inferred Stable True Belief’Department of Philosophy, Carnegie Mellon UniversityPittsburghGoogle Scholar
Kerdiles, G. 2001 Saying it with PicturesILLC, University of AmsterdamGoogle Scholar
Kim, J.Sosa, E. 2000 Epistemology: An AnthologyMalden (Mass.)Blackwell
Kooi, B. 2003 ‘Probabilistic Dynamic Epistemic Logic’Journal of Logic, Language and Information 12 381CrossRefGoogle Scholar
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 Publications187Google Scholar
Kreutzer, S. 2004 ‘Expressive Equivalence of Least and Inflationary Fixed-Point Logic’Annals of Pure and Applied Logic 130 61CrossRefGoogle Scholar
Kurzen, L. 2007 A Logic for Cooperation, Actions and PreferencesILLC, University of AmsterdamGoogle Scholar
Kurzen, L. 2010 Cooperation and Complexity of InteractionILLC, University of AmsterdamGoogle Scholar
Lakemeyer, G. 2009 ‘The Situation Calculus: A Case for Modal Logic’Journal of Logic, Language and Information 19 431CrossRefGoogle Scholar
van Lambalgen, M.Stenning, K. 2007 Human Reasoning and Cognitive ScienceCambridge (Mass.)The MIT PressGoogle Scholar
Lang, J.van der Torre, L.Weydert, E. 2003 ‘Hidden Uncertainty in the Logical Representation of Desires’Proceedings IJCAI XVIII 685Google Scholar
Lang, J.van der Torre, L. 2008 ‘From Belief Change to Preference Change’Proceedings ECAI 2008: 18th European Conference on Artificial IntelligenceAmsterdamIOS PressGoogle Scholar
van Leeuwen, J. 1991 Handbook of Theoretical Computer ScienceAmsterdamElsevier
Leitgeb, H. 2008 ‘Psychologism in Logic’Studia Logica 88 1CrossRef
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 167CrossRefGoogle Scholar
Lenzen, W. 1980 Glauben, Wissen und WahrscheinlichkeitWien, Springer Verlag, Library of Exact PhilosophyCrossRefGoogle Scholar
Lewis, D. 1969 ConventionOxfordBlackwellGoogle Scholar
Lewis, D. 1973 CounterfactualsOxfordBlackwellGoogle Scholar
Lewis, D. 1988 ‘Desire as Belief’Mind 97 323CrossRefGoogle Scholar
Leyton-Brown, K.Shoham, Y. 2008 Essentials of Game Theory: A Concise Multidisciplinary IntroductionCambridge University PressGoogle Scholar
List, C.Pettit, Ph. 2004 ‘Aggregating Sets of Judgments. Two Impossibility Results Compared’Synthese 140 207CrossRefGoogle Scholar
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 940Google Scholar
Liu, F. 2005 Diversity of Agents and their InteractionILLC, University of AmsterdamGoogle Scholar
Liu, F. 2008 Changing for the Better: Preference Dynamics and Preference DiversityILLC, University of AmsterdamGoogle Scholar
Liu, F. 2009 ‘Diversity of Agents and their Interaction’Journal of Logic, Language and Information 18 23CrossRefGoogle Scholar
Lorenz, K.Lorenzen, P. 1978 Dialogische LogikDarmstadtWissenschaftliche BuchgesellschaftGoogle Scholar
Lorenzen, P. 1955 Einfuhrung in die Operative Logik und MathematikBerlinSpringer VerlagCrossRefGoogle Scholar
Lorini, E.Castelfranchi, C. 2007 ‘The Cognitive Structure of Surprise: Looking for Basic Principles’Topoi 26 133CrossRefGoogle Scholar
Lutz, C. 2006
Mares, E. 1996 ‘Relevant Logic and the Theory of Information’Synthese 109 345CrossRefGoogle Scholar
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 11Google Scholar
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-98TorinoGoogle Scholar
McCarthy, J. 1963 ‘Situations, Actions, and Causal Laws’Minsky, M. 1968 Semantic Information ProcessingCambridge (Mass.)The MIT Press410Google Scholar
McCarthy, J. 1980 ‘Circumscription – A Form of Non-Monotonic Reasoning’Artificial Intelligence 13 27CrossRefGoogle Scholar
van der Meijden, R. 1996 ‘The Dynamic Logic of Permission’Journal of Logic and Computation 6 465CrossRefGoogle Scholar
Meyer, J.-J.van der Hoek, W.van Linder, B. 1999 ‘A Logical Approach to the Dynamics of CommitmentsArtificial Intelligence 113 1CrossRefGoogle Scholar
Miller, J.Moss, L. 2005 ‘The Undecidability of Iterated Modal Relativization’Studia Logica 97 373CrossRefGoogle Scholar
Milner, R. 1999 Communicating and Mobile Systems: The Pi CalculusCambridge (Mass.)The MIT PressGoogle Scholar
Minica, S. 2010 Dynamic Logic of QuestionsILLC, University of AmsterdamGoogle Scholar
Mittelstaedt, P. 1978 Quantum LogicDordrechtReidelCrossRefGoogle Scholar
Moore, R. 1985 ‘A Formal Theory of Knowledge and Action’Hobbs, J.Moore, R.Formal Theories of the Commonsense WorldAblex Publishing Corp319Google Scholar
Moschovakis, Y. 1974 Elementary Induction on Abstract StructuresAmsterdamNorth-HollandGoogle Scholar
Moss, L.Seligman, J. 1997 ‘Situation Theory’van Benthem, J.ter Meulen, A.Handbook of Logic and LanguageAmsterdamNorth Holland239Google Scholar
Nagel, E. 1961 The Structure of ScienceIndianapolisHackettGoogle Scholar
Netchitajlov, Y. 2000 An Extension of Game Logic with Parallel OperatorsILLCAmsterdamGoogle Scholar
Nozick, R. 1981 Philosophical ExplanationsCambridge (Mass.)Harvard University PressGoogle Scholar
Osborne, M.Rubinstein, A. 1994 A Course in Game TheoryCambridge (Mass.The MIT PressGoogle Scholar
van Otterloo, S. 2005 A Strategic Analysis of Multi-Agent ProtocolsILLC, University of Amsterdam & University of LiverpoolGoogle Scholar
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 PressGoogle Scholar
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 LiverpoolGoogle Scholar
Pacuit, E.Roy, O. 2010 Interactive RationalityDepartment of Philosophy, University of Groningen and University of TilburgGoogle Scholar
Papadimitriou, C. 1994 Computational ComplexityAddison-WesleyGoogle Scholar
Parikh, R. 1985 ‘The Logic of Games’Annals of Discrete Mathematics 24 111Google Scholar
Parikh, R. 1991 ‘Monotonic and Non-Monotonic Logics of Knowledge’Fundamenta Informaticae XV 255Google Scholar
Parikh, R. 2002 ‘Social Software’Synthese 132 187CrossRefGoogle Scholar
Parikh, R.Ramanujam, R. 2003 ‘A Knowledge-Based Semantics of Messages’Journal of Logic, Language and Information 12 453CrossRefGoogle Scholar
Pauly, M. 2001 Logic for Social SoftwareILLC, University of AmsterdamGoogle Scholar
Peters, S.Westerståhl, D. 2006 Quantifiers in Language and LogicOxford University PressGoogle Scholar
Piaget, J. 1953 The Origins of Intelligence in ChildrenLondonRoutledge and Kegan PaulGoogle Scholar
Plaza, J. 1989
Priest, G. 1997 ‘Impossible Worlds–Editor's Introduction’Notre Dame Journal of Formal Logic 38 481Google Scholar
Ramanujam, R. 2008 ‘Some Automate Theory for Epistemic Logic’Invited lecture at Workshop on Intelligent InteractionESSLLI Summer SchoolHamburgGoogle Scholar
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 Kaufmann473Google Scholar
Reiter, R. 2001 Knowledge in ActionCambridge (Mass.)The MIT PressGoogle Scholar
Renne, B. 2008 Public Communication in Justification LogicCUNY Graduate CenterNew YorkGoogle Scholar
Restall, G. 2000 An Introduction to Substructural LogicsLondonRoutledgeCrossRefGoogle Scholar
Rodenhäuser, B. 2001 Updating Epistemic UncertaintyILLC, University of AmsterdamGoogle Scholar
Rodriguez, R. 2006 ‘Notes on Topological Updates’paper Dynamics SeminarILLCUniversity of AmsterdamGoogle Scholar
Roelofsen, F. 2006 Distributed KnowledgeILLC, University of AmsterdamGoogle Scholar
Rohde, Ph. 2005 On Games and Logics over Dynamically Changing StructuresRheinisch-Westfälische Technische Hochschule AachenGoogle Scholar
Romeijn, J. W. 2009 ‘Meaning Shifts and Conditioning’Philosophical Institute, University of Groningenhttp://irs.ub.rug.nl/dbi/4aeee1a7af4a0Google Scholar
van Rooij, R. 2003 ‘Quality and Quantity of Information Exchange’Journal of Logic, Language and Information 12 423CrossRefGoogle Scholar
van Rooij, R. 2004 ‘Signalling Games Select Horn Strategies’Linguistics and Philosophy 27 493CrossRefGoogle Scholar
van Rooij, R. 2005 ‘Questions and Relevance’Questions and Answers, Proceedings 2nd CoLogNET ElsNET SymposiumILLC, Amsterdam96Google Scholar
Rott, H. 2001 Change, Choice and InferenceOxford University PressGoogle Scholar
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 Studies359Google Scholar
Rott, H. 2007 ‘Information Structures in Belief Revision’Adriaans, P.van Benthem, J.Handbook of the Philosophy of InformationAmsterdamElsevier Science Publishers457Google Scholar
Roush, Sh. 2006 Tracking Truth: Knowledge, Evidence and ScienceOxford University PressGoogle Scholar
Roy, O. 2008 Thinking before Acting: Intentions, Logic, and Rational ChoiceILLCUniversity of AmsterdamGoogle Scholar
Sack, J. 2008 ‘Temporal Language for Epistemic Programs’Journal of Logic, Language and Information 17 183CrossRefGoogle Scholar
Sack, J. 2009 ‘Extending Probabilistic Dynamic Epistemic Logic’Synthese 169 241CrossRefGoogle Scholar
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 LiverpoolGoogle Scholar
Sadzik, T. 2005 ‘Exploring the Iterated Update Universe’Department of Economics, Stanford UniversityGoogle Scholar
Sadzik, T. 2009 ‘Beliefs Revealed in Bayesian-Nash Equilibrium’Department of Economics, New York UniversityGoogle Scholar
Sarenac, D. 2009 ‘Modal Logic for Qualitative Dynamics’Department of Philosophy, Colorado State UniversityFort CollinsGoogle Scholar
Searle, J.Vanderveken, D. 1985 Foundations of Illocutionary LogicCambridge University PressGoogle Scholar
Segerberg, K. 1995 ‘Belief Revision from the Point of View of Doxastic Logic’Bulletin of the IGPL 3 534CrossRefGoogle Scholar
Segerberg, K. 1999 ‘Default Logic as Dynamic Doxastic Logic’Erkenntnis 50 333CrossRefGoogle Scholar
Seligman, J. 2010 ‘Using Hybrid Logic to Analyze Games’Department of Philosophy, University of AucklandGoogle Scholar
Sequoiah-Grayson, S. 2007 ‘Information Gain from Inference’Philosophical InstituteOxford 2007Google Scholar
Sequoiah-Grayson, S. 2009 He, X.Horty, J.Pacuit, E.
Sergot, M. 2008 ‘Temporal Logic of Events and Preference’Department of Computing, Imperial CollegeLondonGoogle Scholar
Sevenster, M. 2006 Branches of Imperfect Information: Logic, Games, and ComputationILLCAmsterdamGoogle Scholar
Shoham, Y. 1988 Reasoning About Change: Time and Change from the Standpoint of Artificial IntelligenceCambridge (Mass.)The MIT PressGoogle Scholar
Shoham, Y. 2009 ‘Logical Theories of Intention and the Database Perspective’Journal of Philosophical Logic 38 633CrossRefGoogle Scholar
Shoham, Y.Leyton-Brown, K. 2008 Multiagent Systems: Algorithmic, Game Theoretic and Logical FoundationsCambridge University PressCrossRefGoogle Scholar
Shoham, Y.Tennenholtz, M. 1999 ‘What Can a Market Compute and at What Expense?’Department of Computer Science, Stanford UniversityGoogle Scholar
Skyrms, B. 1990 The Dynamics of Rational DeliberationCambridge (Mass.)Harvard University PressGoogle Scholar
Spohn, W. 1988 ‘Ordinal Conditional Functions: A Dynamic Theory of Epistemic States’Harper, W.Causation in Decision, Belief Change and Statistics IIDordrechtKluwer105CrossRefGoogle Scholar
Staal, F. 1988 Universals: Studies in Indian Logic and LinguisticsUniversity of Chicago PressGoogle Scholar
Stalnaker, R. 1978 ‘Assertion’Cole, P.Syntax and SemanticsNew York, Academic Press315Google Scholar
Stalnaker, R. 1999 ‘Extensive and Strategic Form: Games and Models for Games’Research in Economics 53 293CrossRefGoogle Scholar
Stenning, K. 2001 Seeing ReasonOxford University PressGoogle Scholar
Sugden, R. 2003 ‘The Logic of Team Reasoning’Philosophical Explorations 6 165CrossRefGoogle Scholar
Tan, Y.-H.van der Torre, L. 1999 ‘An Update Semantics for Deontic Reasoning’McNamara, P.Prakken, H.Norms, Logics and Information SystemsIOS Press73Google Scholar
Tennant, N. 2002 ‘Victor Vanquished’Analysis 62 135CrossRefGoogle Scholar
Thomas, W. 1992 ‘Infinite Trees and Automaton Definable Relations over Omega-Words’Theoretical Computer Science 103 143CrossRefGoogle Scholar
van der Torre, L.Tan, Y.-H. 1999 ‘Contrary-to-Duty Reasoning with Preference- Based Dyadic Obligations’Annals of Mathematics and Artificial Intelligence 27 49CrossRefGoogle Scholar
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, Kluwer267Google Scholar
Toulmin, S. 1958 The Uses of ArgumentCambridge University PressGoogle Scholar
Turing, A. M. 1950 ‘Computing Machinery and Intelligence’Mind 59 433CrossRefGoogle Scholar
Väänänen, J. 2007 Dependence LogicCambridge University PressCrossRefGoogle Scholar
Velázquez-Quesada, F. 2008 ‘Inference and Update’ILLC, University of Amsterdam, presented at Workshop on Logic and Intelligent Interaction, ESSLLI Summer SchoolHamburgGoogle Scholar
Velázquez-Quesada, F. 2010 Small Steps in the Dynamics of InformationILLC, University of AmsterdamGoogle Scholar
Veltman, F. 1985 Logics for ConditionalsDissertationPhilosophical Institute, University of AmsterdamGoogle Scholar
Veltman, F. 1996 ‘Defaults in Update Semantics'Journal of Philosophical Logic 25 221CrossRefGoogle Scholar
Venema, Y. 2006 ‘Algebras and Co-Algebras’Blackburn, P.van Benthem, J.Wolter, F.Handbook of Modal LogicAmsterdamElsevier331Google Scholar
Verbrugge, R. 2009 ‘Logic and Social Cognition’Journal of Philosophical Logic 38 649CrossRefGoogle Scholar
Wason, P.Johnson-Laird, P. 1972 The Psychology of ReasoningCambridge (Mass.)Harvard University PressGoogle Scholar
Wang, Y. 2010 Epistemic Modelling and Protocol DynamicsDissertation, CWI AmsterdamGoogle Scholar
Williamson, T. 2000 Knowledge and its LimitsOxford University PressGoogle Scholar
Wisniewski, A. 1995 The Posing of QuestionsDordrechtKluwerCrossRefGoogle Scholar
Wooldridge, M. 2002 An Introduction to Multi-Agent SystemsColchesterJohn WileyGoogle Scholar
von Wright, G. H. 1963 The Logic of PreferenceEdinburgh University PressGoogle Scholar
Yamada, T. 2006 ‘Acts of Commanding and Changing Obligations’Inoue, K.Satoh, K.Toni, F.Computational Logic in Multi-Agent Systems CLIMA VIIBerlinSpringer Verlag2007Google Scholar
Yao, A. C. 1979
Yap, A. 2006 ‘Product Update and Temporal Modalities’Girard, P.Marion, M.Roy, O.Proceedings Workshop on DynamicsUniversity of MontrealGoogle Scholar
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 Publications85Google Scholar
Xu, M. 2010
Yamada, T. 2008 ‘Logical Dynamics of some Speech Acts that Affect Obligations and Preferences’Synthese 165 295CrossRefGoogle Scholar
Zvesper, J. 2010 Playing with InformationDissertationILLC, University of AmsterdamGoogle Scholar

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

  • References
  • Johan van Benthem, Universiteit van Amsterdam
  • Book: Logical Dynamics of Information and Interaction
  • Online publication: 07 October 2011
  • Chapter DOI: https://doi.org/10.1017/CBO9780511974533.019
Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

  • References
  • Johan van Benthem, Universiteit van Amsterdam
  • Book: Logical Dynamics of Information and Interaction
  • Online publication: 07 October 2011
  • Chapter DOI: https://doi.org/10.1017/CBO9780511974533.019
Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

  • References
  • Johan van Benthem, Universiteit van Amsterdam
  • Book: Logical Dynamics of Information and Interaction
  • Online publication: 07 October 2011
  • Chapter DOI: https://doi.org/10.1017/CBO9780511974533.019
Available formats
×