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...
Main Author: | |
---|---|
Format: | Article |
Language: | deu |
Published: |
Éditions Kimé
2004-10-01
|
Series: | Philosophia Scientiæ |
Online Access: | http://journals.openedition.org/philosophiascientiae/570 |