Linguistique de l’écrit

Revue internationale en libre accès

Revue | Volume | Article

175185

Sur les "opérateurs rétrogrades"

Tero Tulenheimo

pp. 145-160

Résumé

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é.

Détails de la publication

Publié dans:

Rebuschi Manuel, Tulenheimo Tero (2004) Logique & théorie des jeux. Philosophia Scientiae 8 (2).

Pages: 145-160

DOI: 10.4000/philosophiascientiae.570

Citation complète:

Tulenheimo Tero, 2004, Sur les "opérateurs rétrogrades". Philosophia Scientiae 8 (2), Logique & théorie des jeux, 145-160. https://doi.org/10.4000/philosophiascientiae.570.