PP-2011-28: Game Solution, Epistemic Dynamics and Fixed-Point Logics

PP-2011-28: van Benthem, Johan and Gheerbrant, Amélie (2011) Game Solution, Epistemic Dynamics and Fixed-Point Logics. [Report]

Preview	Text (Full Text) PP-2011-28.text.pdf Download (192kB) | Preview
	Text (Abstract) PP-2011-28.abstract.txt Download (1kB)

Abstract

Current methods for solving games embody a form of “procedural
rationality” that invites logical analysis in its own right. This
paper is a brief case study of Backward Induction for extensive games,
replacing earlier static logical definitions by stepwise dynamic
ones. We consider a number of analysis from recent years that look
different conceptually, and find that they are all mathematically
equivalent. This shows how an abstract logical perspective can bring
out basic invariant structure in games. We then generalize this to an
exploration of fixed-point logics on finite trees that best fit
game-theoretic equilibria. We end with some open questions that
suggest a broader program for merging current computational logics
with notions and results from game theory. This paper is largely a
program for opening up an area: an extended version of the technical
results will be found in the forthcoming dissertation of the second
author.

Item Type:	Report
Report Nr:	PP-2011-28
Series Name:	Prepublication (PP) Series
Year:	2011
Uncontrolled Keywords:	Backward Induction, ExtensiveGames, Dynamic-Epistemic Logic, Fixed-Point Logic
Depositing User:	Johan van Benthem
Date Deposited:	12 Oct 2016 14:37
Last Modified:	12 Oct 2016 14:37
URI:	https://eprints.illc.uva.nl/id/eprint/432

Actions (login required)

View Item