Download PDFOpen PDF in browserAction Models for Coalition LogicEasyChair Preprint 849215 pages•Date: July 16, 2022AbstractIn 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
|