Doing Without Nature

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.

[1]  J. Horty.  Agency and Deontic Logic , 2001 .

[2]  Paolo Turrini,et al.  Agreements as Norms , 2012, DEON.

[3]  Emiliano Lorini,et al.  A New Look at the Semantics and Optimization Methods of CP-Networks , 2003, IJCAI.

[4]  John F. Horty,et al.  Stit Logics, Games, Knowledge, and Freedom , 2014, Johan van Benthem on Logic and Information Dynamics.

[5]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[6]  Allard Tamminga,et al.  Deontic Logic for Strategic Games , 2013 .

[7]  Johan van Benthem,et al.  Logic in Games , 2014 .

[8]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[9]  Barteld P. Kooi,et al.  Moral Conflicts between Groups of Agents , 2008, J. Philos. Log..

[10]  J. Benthem,et al.  Connecting Logics of Choice and Change , 2014 .

[11]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

[12]  Yde Venema.  Rectangular Games , 1998, J. Symb. Log..

[13]  Andreas Herzig,et al.  Properties of logics of individual and group agency , 2008, Advances in Modal Logic.

[14]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[15]  Andreas Herzig,et al.  A normal simulation of coalition logic and an epistemic extension , 2007, TARK '07.

[16]  Brian F. Chellas.  Time and modality in the logic of agency , 1992, Stud Logica.

[17]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .