Heuristique formelle et logiques modales non-normales
Philosophia Scientiae, Logique & théorie des jeux, Tome 8 (2004) no. 2, pp. 39-57
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},
year = {2004},
publisher = {\'Editions Kim\'e},
volume = {8},
number = {2},
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/
