Logics for Non-Cooperative Games with Expectations
Lluı́s Godo, Enrico Marchioni · DIGITAL.CSIC (Spanish National Research Council (CSIC)) · 2013
Abstract. We introduce the logics E(G) for reasoning about probabilistic expectation over classes G of games with discrete polynomial payoff functions represented by finite-valued Lukasiewicz formulas and provide completeness and complexity results. In addition, we introduce a new class of games where players ’ expected payoff functions are encoded by E(G)-formulas. In these games each player’s aim is to randomise her strategic choices in order to affect the other players ’ expectations over an outcome as well as their own. We offer a logical and computational characterisation of this new class of games. 1