
Publication details
Publisher: Kimé
Place: Koeln
Year: 2004
Pages: 145-160
Series: Philosophia Scientiae
Full citation:
, "Sur les "opérateurs rétrogrades"", Philosophia Scientiae 8 (2), 2004, pp. 145-160.


Sur les "opérateurs rétrogrades"
pp. 145-160
in: Manuel Rebuschi, Tero Tulenheimo (eds), Logique & théorie des jeux, Philosophia Scientiae 8 (2), 2004.Abstract
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é.
Publication details
Publisher: Kimé
Place: Koeln
Year: 2004
Pages: 145-160
Series: Philosophia Scientiae
Full citation:
, "Sur les "opérateurs rétrogrades"", Philosophia Scientiae 8 (2), 2004, pp. 145-160.