Heuristique formelle et logiques modales non-normales
Laurent Keiff (2004)
Philosophia Scientiae
Similarity:
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.