Download PDFOpen PDF in browser

Action Models for Coalition Logic

EasyChair Preprint 8492

15 pagesDate: July 16, 2022

Abstract

In the paper, we study the dynamics of coalitional ability by proposing an extension of coalition logic (CL). CL allows one to reason about what a coalition of agents is able to achieve through a joint action, no matter what agents outside of the coalition do. The proposed dynamic extension is inspired by dynamic epistemic logic, and, in particular, by action models. We call the resulting logic coalition action model logic (CAML), which, compared to CL, includes additional modalities for coalitional action models. We investigate the expressivity of CAML, and provide a complexity characterisation of its model checking problem.

Keyphrases: Action Model Logic, Coalition Logic, Dynamic Coalition Logic, dynamic epistemic logic

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:8492,
  author    = {Rustam Galimullin and Thomas Ågotnes},
  title     = {Action Models for Coalition Logic},
  howpublished = {EasyChair Preprint 8492},
  year      = {EasyChair, 2022}}
Download PDFOpen PDF in browser