Game Forms for Coalition Effectivity Functions
(2019)
Conference Proceeding
Baston, C., & Capretta, V. (2019). Game Forms for Coalition Effectivity Functions. In N. van der Weide, & M. Bezem (Eds.), 25th International Conference onTypes for Proofs and Programs (TYPES 2019), 26-27
Introduction Coalition logic, introduced by Pauly, 1 is a multi-agent modal logic for reasoning about what groups of agents can achieve if they act collectively, as a coalition. The semantics for coalition logic is based on game forms, which are esse... Read More about Game Forms for Coalition Effectivity Functions.