Heuristique formelle et logiques modales non-normales

Laurent Keiff

pp. 39-57

in: Manuel Rebuschi, Tero Tulenheimo (eds), Logique & théorie des jeux, Philosophia Scientiae 8 (2), 2004.

Abstract

Nous présentons ici une version modale des dialogues de recherche de conditions (SSD) que nous avons introduits dans [Rahman & Keiff 2004]. La sémantique utilisée correspond à celle des systèmes modaux non normaux.