Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Probabilistic Semantics for a Discussive Temporal Logic

Proietti, Carlo LU and Ciuni, Roberto (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:
author
and
organization
publishing date
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}},
}