7 citations · 12 across the 3 of their papers we have counts for
3 papers
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.AI2008
Common knowledge logic in a higher order proof assistant?
Pierre Lescanne
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality…
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…