Sur les « opérateurs rétrogrades »

Tulenheimo, Tero

Philosophia Scientiae, Tome 8 (2004), p. 145-160 / Harvested from Numdam

Résumé

Une logique d’«opérateurs rétrogrades» (${\bf 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 ${\bf OR}$ est plus grande que celle de la logique de base des attitudes propositionnelles (${\bf AL}$). De plus, on établit que les pouvoirs expressifs de OR et la logique hybride ${\bf AL} \hspace{2.84526pt} + \downarrow + \hspace{2.84526pt} @$ coïncident. L’intérêt théorique général des opérateurs rétrogrades est brièvement discuté.

Abstract

A logic of ‘backwards-looking operators’ (${\bf OR}$) is defined using semantical games, played on models with two dimensions, one for time and another for epistemic scenarios. It is shown that the expressive power of ${\bf OR}$ is greater than that of basic logic of propositional attitudes (${\bf AL}$). Furthermore, it is established that the expressive powers of OR and the hybrid logic ${\bf AL} \hspace{2.84526pt} + \downarrow + \hspace{2.84526pt} @$ coincide. In conclusion, the theoretical interest of backwards-looking operators is briefly discussed.

Détail

Publié le : 2004-01-01