A Logic for Closed-World Interaction

Authors:
Jan Broersen;Rosja Mastop;John-Jules Ch. Meyer;Paolo Turrini
Affiliations:
Universiteit Utrecht,;Universiteit Utrecht,;Universiteit Utrecht,;Universiteit Utrecht,
Venue:
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Year:
2008

Citing 2
Cited 0

Modal logic

Modal logic
Coalitions in action logic

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

Quantified Score

Hi-index	0.00

Visualization

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.