Publication Date:
2009
abstract:
This paper presents two systems of temporal logic, \Lambda_{CPT} and \Lambda_{CPT@}, with ceteris paribus modalities. The principal aim is to show how this approach can be useful to give an ockhamist solution to the future contingents problem along the same lines of A. Prior. The interest of this work lies also in the fact that \Lambda_{CPT@} represents an alternative modal account of supervaluationist and post-semantics approaches to temporal reasoning.
Iris type:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
temporal logic; future contingents
List of contributors:
Proietti, Carlo
Book title:
Logics for Dynamics of Information and Preferences