The paper introduces a probabilistic semantics for the paraconsistent temporal logic Ab presented by the authors in a previous work on future contingents. Probabilistic concepts help frame two possible interpretations of the logic in question-a 'subjective' and an 'objective' one-and explaining the rationale behind both of them. We also sketch a proof-method for Ab and address some considerations regarding the conceptual appeal of our proposal and its possible future developments.
Probabilistic Semantics for a Discussive Temporal Logic
Proietti Carlo
2013
Abstract
The paper introduces a probabilistic semantics for the paraconsistent temporal logic Ab presented by the authors in a previous work on future contingents. Probabilistic concepts help frame two possible interpretations of the logic in question-a 'subjective' and an 'objective' one-and explaining the rationale behind both of them. We also sketch a proof-method for Ab and address some considerations regarding the conceptual appeal of our proposal and its possible future developments.| Campo DC | Valore | Lingua |
|---|---|---|
| dc.authority.orgunit | Istituto di linguistica computazionale "Antonio Zampolli" - ILC | - |
| dc.authority.people | Ciuni Roberto | it |
| dc.authority.people | Proietti Carlo | it |
| dc.collection.id.s | 71c7200a-7c5f-4e83-8d57-d3d2ba88f40d | * |
| dc.collection.name | 04.01 Contributo in Atti di convegno | * |
| dc.contributor.appartenenza | Istituto di linguistica computazionale "Antonio Zampolli" - ILC | * |
| dc.contributor.appartenenza.mi | 918 | * |
| dc.date.accessioned | 2024/02/19 13:12:57 | - |
| dc.date.available | 2024/02/19 13:12:57 | - |
| dc.date.issued | 2013 | - |
| dc.description.abstracteng | The paper introduces a probabilistic semantics for the paraconsistent temporal logic Ab presented by the authors in a previous work on future contingents. Probabilistic concepts help frame two possible interpretations of the logic in question-a 'subjective' and an 'objective' one-and explaining the rationale behind both of them. We also sketch a proof-method for Ab and address some considerations regarding the conceptual appeal of our proposal and its possible future developments. | - |
| dc.description.affiliations | Ruhr Univ Bochum; Lund Univ | - |
| dc.description.allpeople | Ciuni, Roberto; Proietti, Carlo | - |
| dc.description.allpeopleoriginal | Ciuni, Roberto; Proietti, Carlo | - |
| dc.description.fulltext | none | en |
| dc.description.numberofauthors | 2 | - |
| dc.identifier.isbn | 978-1-84890-110-0 | - |
| dc.identifier.uri | https://hdl.handle.net/20.500.14243/405918 | - |
| dc.language.iso | eng | - |
| dc.relation.conferencedate | 18-22/06/2012 | - |
| dc.relation.conferencename | Logica 2012 | - |
| dc.relation.conferenceplace | Hejnice | - |
| dc.relation.firstpage | 1 | - |
| dc.relation.lastpage | 13 | - |
| dc.relation.numberofpages | 13 | - |
| dc.subject.keywords | probability | - |
| dc.subject.keywords | discussive logic | - |
| dc.subject.keywords | future contingents | - |
| dc.subject.singlekeyword | probability | * |
| dc.subject.singlekeyword | discussive logic | * |
| dc.subject.singlekeyword | future contingents | * |
| dc.title | Probabilistic Semantics for a Discussive Temporal Logic | en |
| dc.type.driver | info:eu-repo/semantics/conferenceObject | - |
| dc.type.full | 04 Contributo in convegno::04.01 Contributo in Atti di convegno | it |
| dc.type.miur | 273 | - |
| dc.type.referee | Sì, ma tipo non specificato | - |
| dc.ugov.descaux1 | 429512 | - |
| iris.orcid.lastModifiedDate | 2025/03/01 07:09:47 | * |
| iris.orcid.lastModifiedMillisecond | 1740809387032 | * |
| iris.sitodocente.maxattempts | 3 | - |
| Appare nelle tipologie: | 04.01 Contributo in Atti di convegno | |
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.
