Doing without nature

Van De Putte, F., Tamminga, A. & Duijf, H. 2017 Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017. Baltag, A., Seligman, J. & Yamada, T. (eds.). Berlin: Springer, p. 209-223 15 p. (Lecture Notes in Computer Science; vol. 10455)

Research output: ScientificChapter

Copy link to clipboard


  • Doing without nature

    Proof, 486 KB, PDF-document

We show that every indeterministic n-agent choice model Mi can be transformed into a deterministic n-agent choice model Md, such that Mi is a bounded morphic image of Md. 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.
Original languageEnglish
Title of host publicationLogic, Rationality, and Interaction
Subtitle of host publication6th International Workshop, LORI 2017
EditorsAlexandru Baltag, Jeremy Seligman, Tomoyuki Yamada
Place of PublicationBerlin
Number of pages15
ISBN (Electronic)978-3-662-55665-8
ISBN (Print)978-3-662-55664-1
StatePublished - 2017

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

View graph of relations

ID: 48321410