Action Models for Coalition Logic

EasyChair Preprint 8492

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

@booklet{EasyChair:8492,
  author    = {Rustam Galimullin and Thomas Ågotnes},
  title     = {Action Models for Coalition Logic},
  howpublished = {EasyChair Preprint 8492},
  year      = {EasyChair, 2022}}