Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills
  1. Outputs

Probabilistic Semantics for a Discussive Temporal Logic

Conference Paper
Publication Date:
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.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
probability; discussive logic; future contingents
List of contributors:
Proietti, Carlo
Authors of the University:
PROIETTI CARLO
Handle:
https://iris.cnr.it/handle/20.500.14243/405918
  • Use of cookies

Powered by VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)