Heuristique formelle et logiques modales non-normales
Résumés
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.
Texte intégral
Texte intégral en libre accès disponible depuis le 15 juin 2011.
Pour citer cet article
Référence électronique
Laurent Keiff, « Heuristique formelle et logiques modales non-normales », Philosophia Scientiæ [En ligne], 8-2 | 2004, mis en ligne le 15 juin 2011, consulté le 19 mai 2013. URL : http://philosophiascientiae.revues.org/562 ; DOI : 10.4000/philosophiascientiae.562
Haut de page