First-Order Coalition Logic

Catta, Davide; Galimullin, Rustam; Murano, Aniello

doi:10.24963/ijcai.2025/491

First-Order Coalition Logic

Davide Catta, Rustam Galimullin, Aniello Murano

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 4410-4418.

https://doi.org/10.24963/ijcai.2025/491

Keywords

Knowledge Representation and Reasoning: KRR: Reasoning about actions
Agent-based and Multi-agent Systems: MAS: Formal verification, validation and synthesis
Knowledge Representation and Reasoning: KRR: Qualitative, geometric, spatial, and temporal reasoning

Abstract

We introduce First-Order Coalition Logic (FOCL), which combines key intuitions behind Coalition Logic (CL) and Strategy Logic (SL). Specifically, FOCL allows for arbitrary quantification over actions of agents. FOCL is interesting for several reasons. First, we show that FOCL is strictly more expressive than existing coalition logics. Second, we provide a sound and complete axiomatisation of FOCL, which, to the best of our knowledge, is the first axiomatisation of any variant of SL in the literature. Finally, while discussing the satisfiability problem for FOCL, we reopen the question of the recursive axiomatisability of SL.

Davide Catta, Rustam Galimullin, and Aniello Murano. 2025. First-Order Coalition Logic. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 4410–4418. https://doi.org/10.24963/ijcai.2025/491

@inproceedings{ijcai2025p491,
  title     = {First-Order Coalition Logic},
  author    = {Catta, Davide and Galimullin, Rustam and Murano, Aniello},
  booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-25}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {James Kwok},
  pages     = {4410--4418},
  year      = {2025},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2025/491},
  url       = {https://doi.org/10.24963/ijcai.2025/491},
}

TY  - CPAPER
TI  - First-Order Coalition Logic
AU  - Catta, Davide
AU  - Galimullin, Rustam
AU  - Murano, Aniello
T2  - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2025
SP  - 4410
EP  - 4418
DO  - 10.24963/ijcai.2025/491
UR  - https://doi.org/10.24963/ijcai.2025/491
ER  -