Automated reasoning techniques for hybrid logics
Les logiques hybrides accroissent les logiques modales avec des éléments pour décrire et raisonner à propos de l'identité, ce qui est crucial dans certaines situations. Les logiques modales que l'on connaît comme ``hybrides'' aujourd'hui remontent au travaux de Prior dans le...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2009NAN10131/document |