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.
展开▼