Heuristique formelle et logiques modales non-normales
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.
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Artigo |
| اللغة: | Francês |
| منشور في: |
Université de Lorraine
2004
|
| الوصول للمادة أونلاين: | https://doi.org/10.4000/philosophiascientiae.562 https://hdl.handle.net/20.500.13089/j17j https://journals.openedition.org/philosophiascientiae/562 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|