Repository | Journal | Volume | Articles
(2004) Philosophia Scientiae 8 (2).
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
DOI: 10.4000/philosophiascientiae.570
Full citation:
Tulenheimo, T. (2004). Sur les "opérateurs rétrogrades". Philosophia Scientiae 8 (2), pp. 145-160.
This document is available at an external location. Please follow the link below. Hold the CTRL button to open the link in a new window.
