Sur les «opérateurs rétrogrades»

Tero Tulenheimo

Philosophia Scientiae (2004)

  • Volume: 8, Issue: 2, page 145-160
  • ISSN: 1281-2463

Abstract

top
A logic of ‘backwards-looking operators’ ( 𝐎𝐑 ) 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 𝐎𝐑 is greater than that of basic logic of propositional attitudes ( 𝐀𝐋 ). Furthermore, it is established that the expressive powers ofORand the hybrid logic 𝐀𝐋 + ↓ + @ coincide. In conclusion, the theoretical interest of backwards-looking operators is briefly discussed.

How to cite

top

Tulenheimo, Tero. "Sur les «opérateurs rétrogrades»." Philosophia Scientiae 8.2 (2004): 145-160. <http://eudml.org/doc/103723>.

@article{Tulenheimo2004,
abstract = {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 deORet 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é.},
author = {Tulenheimo, Tero},
journal = {Philosophia Scientiae},
language = {fre},
number = {2},
pages = {145-160},
publisher = {Éditions Kimé},
title = {Sur les «opérateurs rétrogrades»},
url = {http://eudml.org/doc/103723},
volume = {8},
year = {2004},
}

TY - JOUR
AU - Tulenheimo, Tero
TI - Sur les «opérateurs rétrogrades»
JO - Philosophia Scientiae
PY - 2004
PB - Éditions Kimé
VL - 8
IS - 2
SP - 145
EP - 160
AB - 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 deORet 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é.
LA - fre
UR - http://eudml.org/doc/103723
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.