ABSTRACT:
In this thesis, we present an expanded account of logics for coalition games based on an article by Hoek and Wooldridge (2006).
– First, we define a correspondence relation, between QCGs and interpretations for CL. The idea is that this relation characterises the circumstances under which a QCG and an interpretation for CL say the same things about coalitions, and hence are equivalent at this level of analysis.
– Second, we show how the properties and solution concepts of QCGs that were introduced in (Wooldridge et al., 2004) can be characterised as formulae of CL.