First-Order Coalition Logic

Davide Catta, Rustam Galimullin, Aniello Murano

We introduce First-Order Coalition Logic ($\mathsf{FOCL}$), which combines key intuitions behind Coalition Logic ($\mathsf{CL}$) and Strategy Logic ($\mathsf{SL}$). Specifically, $…