Sur les « opérateurs rétrogrades »

A logic of ‘backwards-looking operators’ (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 OR is greater than that of basic logic of propositional attitudes (AL). Furthermore, it is...

Full description

Bibliographic Details
Main Author: Tero Tulenheimo
Format: Article
Language:deu
Published: Éditions Kimé 2004-10-01
Series:Philosophia Scientiæ
Online Access:http://journals.openedition.org/philosophiascientiae/570