 |
Université de Provence - Aix-Marseille I Hyper Articles en Ligne |
 |
|
Université de Provence - Aix-Marseille I Hyper Articles en Ligne |
|
| HAL : hal-00339393, version 2 |
| arXiv : 0811.2754 |
| Fiche détaillée |  Récupérer au format |
 |
| Versions disponibles : | v1 (17-11-2008) | v2 (09-03-2009) |
|
|
|
|
| A semantics for obligations |
|
|
| Dov Gabbay 1Karl Schlechta 1 |
|
|
| (17/11/2008) |
|
|
|
| We analyze a number of properties obligations have or should have. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Logique |
|
|
| Deontic logic – obligations |
|
|
|
|
|
| hal-00339393, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00339393 | |
| oai:hal.archives-ouvertes.fr:hal-00339393 | |
| Contributeur : Karl Schlechta | |
| Soumis le : Lundi 9 Mars 2009, 00:06:25 | |
| Dernière modification le : Lundi 9 Mars 2009, 06:35:34 | |
