Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

Probabilistic Semantics for a Discussive Temporal Logic

Contributo in Atti di convegno
Data di Pubblicazione:
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
probability; discussive logic; future contingents
Elenco autori:
Proietti, Carlo
Autori di Ateneo:
PROIETTI CARLO
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/405918
  • Utilizzo dei cookie

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