Repository | Journal | Volume | Articles
(2009) Synthese 169 (2).
Determining the environment
a modal logic for closed interaction
Jan Broersen , Rosja Mastop, John-Jules Meyer, Paolo Turrini
pp. 351-369
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.
Publication details
DOI: 10.1007/s11229-009-9550-8
Full citation:
Broersen, J. , Mastop, R. , Meyer, J.-J. , Turrini, P. (2009). Determining the environment: a modal logic for closed interaction. Synthese 169 (2), pp. 351-369.
This document is unfortunately not available for download at the moment.