7 citations · 12 across the 3 of their papers we have counts for
Showing cs.GTShow all
2 papers · 1 filter
cs.GT2008★ 5 cited
Conversion/Preference Games
Stéphane Le Roux, Pierre Lescanne, René Vestergaard
We introduce the concept of Conversion/Preference Games, or CP games for short. CP games generalize the standard notion of strategic games. First we exemplify the use of CP games.…
cs.GT2007★ 7 cited
Dynamic Logic of Common Knowledge in a Proof Assistant
Pierre Lescanne, Jérôme Puisségur
Common Knowledge Logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong statements on the knowled…