Geodesic
Heuristique formelle et logiques modales non-normales
Philosophia Scientiae, Logique & théorie des jeux, Tome 8 (2004) no. 2, pp. 39-57 
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/
@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/}
}
TY  - JOUR
AU  - Keiff, Laurent
TI  - Heuristique formelle et logiques modales non-normales
JO  - Philosophia Scientiae
PY  - 2004
SP  - 39
EP  - 57
VL  - 8
IS  - 2
PB  - Éditions Kimé
UR  - http://geodesic.mathdoc.fr/item/PHSC_2004__8_2_39_0/
LA  - fr
ID  - PHSC_2004__8_2_39_0
ER  - 
%0 Journal Article
%A Keiff, Laurent
%T Heuristique formelle et logiques modales non-normales
%J Philosophia Scientiae
%D 2004
%P 39-57
%V 8
%N 2
%I Éditions Kimé
%U http://geodesic.mathdoc.fr/item/PHSC_2004__8_2_39_0/
%G fr
%F PHSC_2004__8_2_39_0

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.