Logique & théorie des jeux

Logique & théorie des jeux

Tero Tulenheimo ; Manuel Rebuschi (éd.)

Sommaire

Introduction. Des jeux en logique

Rebuschi, Manuel ; Tulenheimo, Tero

p. 1-14

Dialogique temporelle et hybridation

Damien, Laure ; Gorisse, Marie-Hélène ; Rahman, Shahid

p. 17-38

Heuristique formelle et logiques modales non-normales

p. 39-57

Logiques dialogiques ‘multivalentes'

Rückert, Helge

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

Bradfield, J. C.

p. 125-144

Sur les « opérateurs rétrogrades »

Tulenheimo, Tero

p. 145-160

Diversity of logical agents in games

van Benthem, Johan ; Liu, Fenrong

p. 163-178

Logical consequence and the theory of games

Harrenstein, Paul

p. 179-193

Cooperative versus argumentative communication

van Rooij, Robert

p. 195-209

Bibliographie

p. 211-223