A Logic for Closed-World Interaction
The aim of the work is to provide a language to reason about closed-world interaction, that is all those situations in which the outcomes of an interaction can be determined by the agents themselves and in which Nature does not play an active role. We formalize this intuition by identifying all such interactions and axiomatizing their logic. We apply the formal tools to reason about games and their regulation.
KeywordsEffectivity Function Grand Coalition Canonical Model Global Modality Coordination Game
Unable to display preview. Download preview PDF.
- 1.Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science (2001)Google Scholar
- 2.Borgo, S.: Coalitions in action logic. In: Proc. of IJCAI, pp. 1822–1827 (2007)Google Scholar
- 3.Broersen, J., Mastop, R., Meyer, J.-J.Ch., Turrini, P.: A deontic logic for socially optimal norms (forthcoming, 2008)Google Scholar
- 4.Hansen, H.H.: Monotonic Modal Logics. Master Thesis, ILLC (2001)Google Scholar
- 6.Pauly, M.: Logic for Social Software. ILLC Dissertation Series (2001)Google Scholar
- 7.von Wright, G.H.: The logic of preference. Edimburgh University Press (1963)Google Scholar