Sur les « opérateurs rétrogrades »
Une logique d’« opérateurs rétrogrades » (OR) est définie en utilisant des jeux sémantiques, joués sur des modèles à deux dimensions, l’une pour le temps, l’autre pour les scénarios épistémiques. On démontre que l’expressivité de OR est plus grande que celle de la logique de base des attitudes propo...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Idioma: | Français |
| Publicat: |
2004
|
| Accés en línia: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |