Bonanno, Giacomo; Dégremont, Cédric - 2013
for logical and computational analysis. These questions lead to both formal and conceptually illuminating answers, in that … around van Benthem's work. We discuss the formal questions raised by the perspective consisting in taking games as models for … formal languages, in particular modal languages, and how eliminative reasoning processes and solution algorithms can be …