Individual decision making is based on predictions about other players' choices as well as on valuations of reactions to predictions. In this sense, a player has a prediction-decision criterion for decision making. We develop a theory of prediction-decision criteria, which enables us to capture...

This paper is written as an introduction to epistemic logics and their game theoretic applications. It starts with both semantics and syntax of classical logic, and goes to the Hilbert-style proof-theory and Kripke-style model theory of epistemic logics. In these theories, we discuss individual...

We combine and strengthen optimality and robustness theorems for the overlapping-generations model of money. Roughly, we find a Pareto-optimal monetary equilibrium of a generic stationary economy that is near an optimal monetary equilibrium of each nearby non-stationary economy. Since the nearby...

This article analyzes the two wise girls puzzle, which is a simpler variant of the so-called three wise men puzzle, with some proof-theoretic tools. We formulate the puzzle in an epistemic logic. Our chief assumption is that the reasoning ability of each player of the puzzle is equivalent to...

Using the Savage set up, this paper provides a simple axiomatization of the Choquet Expected Utility model where the capacity is an inner measure. Two attractive features of the model are its specificity and the transparency of its axioms. The key axiom states that the decision-maker uses...

Debreu proposed the notion of `least concave utility' as a way to disentangle risk attitudes from the certainty preferences embedded in a von-Neumann Morgenstern index. This paper studies preferences under uncertainty, as opposed to risk, and examines a corresponding decomposition of preference....

A social welfare function for a denumerable society satisfies Pairwise Computability if for each pair (x,y) of alternatives, there exists an algorithm that can decide from any description of each profile on {x,y} whether the society prefers x to y. I prove that if a social welfare function...

Giffen goods have long been a minor embarrassment to economics. While it is customary to dismiss them as empirically irrelevant, this essay argues that a more fundamental difficulty with Giffen goods has somehow been overlooked.

Consider the set of probability measures on a product space with the property that all have the same marginal distributions on the coordinate spaces. This set may be viewed as a correspondence, when the marginal distributions are varied. Here, it is shown that this correspondence is continuous....

By generalizing the classical Knaster-Kuratowski-Mazurkiewicz Theorem, we obtain a result that provides sufficient conditions to ensure the non-emptiness of several kinds of choice functions. This result generalizes well-known results on the existence of maximal elements for binary relations...