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.

Ceteris paribus modalities and the future contingents problem

Carlo Proietti
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.
2009
Istituto di linguistica computazionale "Antonio Zampolli" - ILC
Inglese
Lena Kuerzen and Fernando Velazquez Quesada
Logics for Dynamics of Information and Preferences
304
325
No
temporal logic
future contingents
1
02 Contributo in Volume::02.01 Contributo in volume (Capitolo o Saggio)
268
none
Proietti, Carlo
info:eu-repo/semantics/bookPart
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/403992
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact