Voir la notice de l'article provenant de la source Numdam
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.
We present here a modal version of the structure seeking dialogues (SSD) that were introduced in [Rahman & Keiff 2004]. For this purpose, we use a semantics that corresponds to the semantics of non normal modal systems.
@article{PHSC_2004__8_2_39_0, author = {Keiff, Laurent}, title = {Heuristique formelle et logiques modales non-normales}, journal = {Philosophia Scientiae}, pages = {39--57}, publisher = {\'Editions Kim\'e}, volume = {8}, number = {2}, year = {2004}, language = {fr}, url = {http://geodesic.mathdoc.fr/item/PHSC_2004__8_2_39_0/} }
Keiff, Laurent. Heuristique formelle et logiques modales non-normales. Philosophia Scientiae, Logique & théorie des jeux, Tome 8 (2004) no. 2, pp. 39-57. http://geodesic.mathdoc.fr/item/PHSC_2004__8_2_39_0/