ABSTRACT
We explore some recent directions for the logical foundations of social action that emerge from contacts between logic, game theory, philosophy, and computer science.
- K. Apt and E. Grädel, editors. Lectures in Game Theory for Computer Scientists. Cambridge University Press, 2011. Google ScholarDigital Library
- R. J. Aumann. Backward induction and common knowledge of rationality. Games and Economic Behavior, 8(1):6--19, 1995.Google ScholarCross Ref
- A. Baltag and S. Smets. A qualitative theory of dynamic interactive belief revision. In G. Bonanno, W. van der Hoek, and M. Wooldridge, editors, Logic and the Foundations of Game and Decision Theory (LOFT7), volume 3 of Texts in Logic and Games, pages 13--60. Amsterdam University Press, Amsterdam, The Netherlands, 2008.Google Scholar
- A. Baltag and S. Smets. Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. In Heifetz {16}, pages 41--50. Google Scholar
- A. Baltag, S. Smets, and J. A. Zvesper. Keep 'hoping' for rationality: a solution to the backward induction paradox. Synthese, 169(2):301--333, 2009.Google ScholarCross Ref
- C. Bicchieri. Common knowledge and backward induction: A solution to the paradox. In M. Y. Vardi, editor, TARK, pages 381--393. Morgan Kaufmann, 1988. Google ScholarDigital Library
- A. Brandenburger. Forward induction. Stern School of Business, 2007.Google Scholar
- B. de Bruin. Explaining Games: The Epistemic Programme in Game Theory. Springer, 2010.Google Scholar
- C. Dégremont, L. Kurzen, and J. Szymanik. Cognitive plausibility of epistemic models: Exploring tractability borders in epistemic tasks. ILLC Amsterdam and IAI Groningen, 2011.Google Scholar
- C. Dégremont, B. Löwe, and A. Witzel. The synchronicity of dynamic epistemic logic. In Proceedings TARK, 2011. Google ScholarDigital Library
- C. Dégremont and O. Roy. Agreement theorems in dynamic-epistemic logic. In Heifetz {16}, pages 91--98. Google Scholar
- R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about knowledge. The MIT Press, Cambridge, Mass., 1995. Google ScholarDigital Library
- N. Gierasimczuk. Knowing One's Limits. Logical Analysis of Inductive Inference. PhD thesis, Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam (UvA), Amsterdam, The Netherlands, 2010. ILLC Dissertation series DS-2010-11.Google Scholar
- P. Girard. Modal Logic for Belief and Preference Change. PhD thesis, Department of Philosophy, Stanford University, Stanford, CA, USA, Feb. 2008. ILLC Dissertation Series DS-2008-04.Google Scholar
- J. Y. Halpern and M. Y. Vardi. The complexity of reasoning about knowledge and time. I. lower bounds. Journal of Computer and System Sciences, 38(1):195--237, Feb. 1989. Google ScholarDigital Library
- A. Heifetz, editor. Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6--8, 2009, 2009. Google ScholarCross Ref
- F. Liu. Diversity of agents and their interaction. Journal of Logic, Language and Information, 18(1):23--53, 2009. Google ScholarDigital Library
- F. Liu. Reasoning About Preference Dynamics. Synthese Library. Springer Science Publisher, 2011.Google ScholarCross Ref
- S. McClure. Decision making, 2011. Lecture slides SS100, Stanford University.Google Scholar
- J. S. Miller and L. S. Moss. The undecidability of iterated modal relativization. Studia Logica, 79(3):373--407, 2005.Google ScholarCross Ref
- R. Parikh, C. Tasdemir, and A. Witzel. The power of knowledge in games, 2011. Working paper, CUNY Graduate Center & New York University.Google Scholar
- A. Perea. Belief in the opponents' future rationality, 2011. Working paper, Epicenter, Department of Quantitative Economics, University of Maastricht.Google Scholar
- R. Stalnaker. Extensive and strategic form: Games and models for games. Research in Economics, 53:293--291, 1999.Google ScholarCross Ref
- J. van Benthem. Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 17(2):129--155, 2007.Google ScholarCross Ref
- J. van Benthem. In praise of strategies. In J. van Eijck and R. Verbrugge, editors, Foundations of Social Software. College Publications, London, 2007.Google Scholar
- J. van Benthem. Rational dynamics. International Game Theory Review, 9(1):13--45, 2007. Errratum reprint: 9(2), 377--409.Google ScholarCross Ref
- J. van Benthem. Logical Dynamics of Information and Interaction. Cambridge University Press, 2010.Google Scholar
- J. van Benthem, J. Gerbrandy, T. Hoshi, and E. Pacuit. Merging frameworks for interaction. Journal of Philosophical Logic, 38(5):491--526, 2009.Google ScholarCross Ref
- J. van Benthem and A. Gheerbrant. Game solution, epistemic dynamics and fixed-point logics. Fundamenta Informaticae, 100(1--4):19--41, 2010. Google ScholarDigital Library
- J. van Benthem, E. Pacuit, and O. Roy. Toward a theory of play: A logical perspective on games and interaction. Games, 2(1):52--86, 2011.Google ScholarCross Ref
- J. van Benthem, S. van Otterloo, and O. Roy. Preference logic, conditionals and solution concepts in games. In H. Lagerlund, S. Lindström, and R. Sliwinski, editors, Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, number 53 in Uppsala Philosophical Studies, pages 61--76. University of Uppsala, Upsala, 2006.Google Scholar
- W. van der Hoek and M. Pauly. Modal logic for games and information. In P. Blackburn, J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic, volume 3 of Studies in Logic and Practical Reasoning, pages 1077--1148. Elsevier Science Inc., Amsterdam, 2006.Google Scholar
- Y. Wang. Epistemic Modelling and Protocol Dynamics. PhD thesis, Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam (UvA), Amsterdam, The Netherlands, Sept. 2010. ILLC Dissertation series DS-2010-06.Google Scholar
Index Terms
- Exploring a theory of play
Recommendations
Dynamic Epistemic Logic with Communication Actions
AbstractThis work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi [van Ditmarsch, H., W. van der Hoek and B. Kooi, “...
Dynamics of Narrow-Minded Belief and Its Cut-Free Sequent Calculus
Agents and Artificial IntelligenceAbstractThe purpose of this paper is to consider and formalize an important factor of human intelligence, belief affected by passion, which we call narrow-minded belief. Based on Public Announcement Logic, we define our logic, Logic Of Narrow-minded ...
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statements concerning the muddy children puzzle and sum and product . We also ...
Comments