Sur les « opérateurs rétrogrades »
Résumés
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 propositionnelles (AL). De plus, on établit que les pouvoirs expressifs de OR et la logique hybride AL + ↓ + @ coïncident. L’intérêt théorique général des opérateurs rétrogrades est brièvement discuté.
Pour citer cet article
Référence papier
Tero Tulenheimo, « Sur les « opérateurs rétrogrades » », Philosophia Scientiæ, 8-2 | 2004, 145-160.
Référence électronique
Tero Tulenheimo, « Sur les « opérateurs rétrogrades » », Philosophia Scientiæ [En ligne], 8-2 | 2004, mis en ligne le 16 juin 2011, consulté le 01 février 2023. URL : http://journals.openedition.org/philosophiascientiae/570 ; DOI : https://doi.org/10.4000/philosophiascientiae.570
Haut de page