Representing strategic games and their equilibria in many-valued logics
Libor Běhounek, Petr Cintula, Christian G. Fermüller, Tomáš Kroupa · Logic Journal of IGPL · 2016
We introduce the notion of logical A-games for a fairly general class of algebras A of real truth-values. This concept generalizes the Boolean games of Harrenstein et al. as well as the recently defined Łukasiewicz games of Marchioni and Wooldridge. We demonstrate that a wide range of strategic n-player games can be represented as logical A-games. Moreover we show how to construct, under rather general conditions, propositional formulas in the language of A that correspond to pure and mixed Nash equilibria of logical A-games.