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 |