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.| Campo DC | Valore | Lingua |
|---|---|---|
| dc.authority.orgunit | Istituto di linguistica computazionale "Antonio Zampolli" - ILC | - |
| dc.authority.people | Carlo Proietti | it |
| dc.collection.id.s | 8c50ea44-be95-498f-946e-7bb5bd666b7c | * |
| dc.collection.name | 02.01 Contributo in volume (Capitolo o Saggio) | * |
| dc.contributor.appartenenza | Istituto di linguistica computazionale "Antonio Zampolli" - ILC | * |
| dc.contributor.appartenenza.mi | 918 | * |
| dc.date.accessioned | 2024/02/21 09:34:09 | - |
| dc.date.available | 2024/02/21 09:34:09 | - |
| dc.date.issued | 2009 | - |
| dc.description.abstracteng | 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. | - |
| dc.description.affiliations | Université Paris I, Università di Pisa | - |
| dc.description.allpeople | Proietti, Carlo | - |
| dc.description.allpeopleoriginal | Carlo Proietti | - |
| dc.description.fulltext | none | en |
| dc.description.numberofauthors | 1 | - |
| dc.identifier.uri | https://hdl.handle.net/20.500.14243/403992 | - |
| dc.language.iso | eng | - |
| dc.relation.alleditors | Lena Kuerzen and Fernando Velazquez Quesada | - |
| dc.relation.firstpage | 304 | - |
| dc.relation.ispartofbook | Logics for Dynamics of Information and Preferences | - |
| dc.relation.lastpage | 325 | - |
| dc.subject.keywords | temporal logic | - |
| dc.subject.keywords | future contingents | - |
| dc.subject.singlekeyword | temporal logic | * |
| dc.subject.singlekeyword | future contingents | * |
| dc.title | Ceteris paribus modalities and the future contingents problem | en |
| dc.type.driver | info:eu-repo/semantics/bookPart | - |
| dc.type.full | 02 Contributo in Volume::02.01 Contributo in volume (Capitolo o Saggio) | it |
| dc.type.miur | 268 | - |
| dc.type.referee | No | - |
| dc.ugov.descaux1 | 429520 | - |
| iris.orcid.lastModifiedDate | 2024/04/04 18:35:48 | * |
| iris.orcid.lastModifiedMillisecond | 1712248548584 | * |
| iris.sitodocente.maxattempts | 3 | - |
| Appare nelle tipologie: | 02.01 Contributo in volume (Capitolo o Saggio) | |
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.
