Probabilistic Semantics for a Discussive Temporal Logic
(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 framing 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.
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/3411934
- author
- Proietti, Carlo LU and Ciuni, Roberto
- organization
- publishing date
- 2013
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- in press
- subject
- keywords
- Probability, Discussive Logic, Future Contingents
- host publication
- The Logica Yearbook
- pages
- 15 pages
- publisher
- College Publications
- language
- English
- LU publication?
- yes
- id
- 5c28d50d-b7bf-4a4c-86c0-fa4770fafd94 (old id 3411934)
- date added to LUP
- 2016-04-04 10:54:08
- date last changed
- 2018-11-21 21:01:28
@inproceedings{5c28d50d-b7bf-4a4c-86c0-fa4770fafd94, 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 framing 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.}}, author = {{Proietti, Carlo and Ciuni, Roberto}}, booktitle = {{The Logica Yearbook}}, keywords = {{Probability; Discussive Logic; Future Contingents}}, language = {{eng}}, publisher = {{College Publications}}, title = {{Probabilistic Semantics for a Discussive Temporal Logic}}, year = {{2013}}, }