Determining the environment

a modal logic for closed interaction

Jan Broersen

Rosja Mastop

John-Jules Meyer

Paolo Turrini

pp. 351-369

in: Thomas Ågotnes, Johan van Benthem, Eric Pacuit (eds), Knowledge, rationality & action, Synthese 169 (2), 2009.

Abstract

The aim of the work is to provide a language to reason about Closed Interactions, i.e. all those situations in which the outcomes of an interaction can be determined by the agents themselves and in which the environment cannot interfere with they are able to determine. We will see that two different interpretations can be given of this restriction, both stemming from Pauly Representation Theorem. We will identify such restrictions and axiomatize their logic. We will apply the formal tools to reason about games and their regulation.