Doing Without Nature

Abstract

We show that every indeterministic n-agent choice model M i can be transformed into a deterministic n-agent choice model M d , such that M i is a bounded morphic image of M d . This generalizes an earlier result from Van Benthem and Pacuit [16] about finite two-player choice models. It further strengthens the link between STIT logic and game theory, because deterministic choice models correspond in a straightforward way to normal game forms, and choice models are generally used to interpret STIT logic.