 Finally, modal logic has many complete proof systems for capturing the valid consequences on various classes of models (Blackburn, de Rijke, &amp; Venema 2001). These calculi of reasoning also apply to games, where they can capture aspects of specialized game-theoretic argumentation. Proof-theoretic perspectives are not the focus of this entry, but a number of strands will be mentioned where appropriate.