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.
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | Francês |
| Publicado em: |
Université de Lorraine
2004
|
| Acesso em linha: | https://doi.org/10.4000/philosophiascientiae.562 https://hdl.handle.net/20.500.13089/j17j https://journals.openedition.org/philosophiascientiae/562 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|