Data di Pubblicazione:
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.
Tipologia CRIS:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
temporal logic; future contingents
Elenco autori:
Proietti, Carlo
Link alla scheda completa:
Titolo del libro:
Logics for Dynamics of Information and Preferences