Geodesic

Logique & théorie des jeux

Sommaire

Introduction. Des jeux en logique
p. 1-14
Dialogique temporelle et hybridation
p. 17-38
Heuristique formelle et logiques modales non-normales
p. 39-57
Logiques dialogiques ‘multivalentes'
p. 59-87
Appendice. Introduction à la dialogique modale et hybride
p. 89-102
Preuves et jeux sémantiques
p. 105-123
On independence-friendly fixpoint logics
p. 125-144
Sur les « opérateurs rétrogrades »
p. 145-160
Diversity of logical agents in games
p. 163-178
Logical consequence and the theory of games
p. 179-193
Cooperative versus argumentative communication
p. 195-209
Bibliographie
p. 211-223