A Logic for Closed-World Interaction

  • Jan Broersen
  • Rosja Mastop
  • John-Jules Ch. Meyer
  • Paolo Turrini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5293)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science (2001)Google Scholar
  2. 2.
    Borgo, S.: Coalitions in action logic. In: Proc. of IJCAI, pp. 1822–1827 (2007)Google Scholar
  3. 3.
    Broersen, J., Mastop, R., Meyer, J.-J.Ch., Turrini, P.: A deontic logic for socially optimal norms (forthcoming, 2008)Google Scholar
  4. 4.
    Hansen, H.H.: Monotonic Modal Logics. Master Thesis, ILLC (2001)Google Scholar
  5. 5.
    Parikh, R.: Social software. Synthese 132(3), 187–211 (2002)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Pauly, M.: Logic for Social Software. ILLC Dissertation Series (2001)Google Scholar
  7. 7.
    von Wright, G.H.: The logic of preference. Edimburgh University Press (1963)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Jan Broersen
    • 1
  • Rosja Mastop
    • 1
  • John-Jules Ch. Meyer
    • 1
  • Paolo Turrini
    • 1
  1. 1.Universiteit Utrecht 

Personalised recommendations