package coq-belgames

We extend Bayesian games to several uncertainty theories (eg. belief functions, imprecise probabilities). We obtain a more expressive class of games we refer to as BelGames. It makes it possible to better capture human behaviors with respect to lack of information. Next, we prove an extended version of the so-called Howson--Rosenthal's theorem, showing that BelGames can be turned into games of complete information, i.e., without any uncertainty.