Reasoning about Coalitional and Cooperational Games

I will start off by introducing Pauly's Coalitional Logic. We will discuss a variant that is exponentially more succinct. In fact, similar ideas can be used to define more succinct epistemic logics. Then I will move on to Coalitional Games, I will argue that, despite its name, Pauly's Coalitional Logic is more about Cooperative Games than about Coalitional Games. In fact not many logical formalisations of Coalitional Games exist. I will briefly discuss two possible such formalisations.
(Based on joint work with Thomas Agotnes and Michael Wooldridge)