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.

[1]  John-Jules Ch. Meyer,et al.  A Deontic Logic for Socially Optimal Norms , 2008, DEON.

[2]  N. Rescher.  The Logic of Preference , 1968 .

[3]  Helle Hvid Hansen,et al.  Monotonic modal logics , 2003 .

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

[5]  Stefano Borgo,et al.  Coalitions in Action Logic , 2007, IJCAI.

[6]  Marc Pauly,et al.  Logic for social software , 2000 .