After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

For dynamic games we consider the idea that a player, at every stage of the game, will
always believe that his opponents will choose rationally in the future. This is the basis for the …

This chapter gives an overview of current dynamic logics that describe belief update and
revision, both for single agents and in multi-agent settings. We employ a mixture of ideas …

Foundational work in game theory aims at making explicit the assumptions that underlie the
basic concepts of the discipline. Non-cooperative game theory is the study of individual …

The first reference on rationality that integrates accounts from psychology and philosophy,
covering descriptive and normative theories from both disciplines. Both analytic philosophy …

Logic and game theory have had a few decades of contacts by now, with the classical
results of epistemic game theory as major high-lights. In this paper, we emphasize a recent …

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 …

We introduce and discuss basic concepts, ideas, and logical formalisms used for reasoning
about strategic abilities in multi-player games. In particular, we present concurrent game …

This is an entry for the Stanford Encyclopedia of Philosophy surveying the broad area of
logics for analyzing games. The main topics are Game Structure, Nature of Players, and …

We adopt the epistemic framework of Battigalli and Siniscalchi (1999) to model the
distinction between a player's behavior at each node, which is part of the external state, and …