2015-11-11: Clemens Kupke (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Clemens Kupke (MSP)

The Power of Coalitions

Abstract

Due to popular demand I am going to give a brief introduction to Marc Pauly's Coalition Logic, a propositional modal logic that allows to reason about the power of coalitions in strategic games. I will provide motivation and basic definitions. Furthermore I am planning to discuss how the logic can be naturally viewed as a coalgebraic logic and what we gain from the coalgebraic perspective. Finally — if (preparation) time permits — I am going to say how the logic can be applied to the area of mechanism design.

2015-11-11 11:00:00 UTC
LT1310