A Logic for Veracity

This paper shows the initial stages of development, from first principles, of a formal logic to characterise and then explore issues in a broadly defined idea of Veracity, which includes properties of demonstrability, truth, trust and authenticity.

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Reeves, Steve
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Logic in Computer Science Computer Science - Social and Information Networks Computer Science - Software Engineering
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	This paper shows the initial stages of development, from first principles, of a formal logic to characterise and then explore issues in a broadly defined idea of Veracity, which includes properties of demonstrability, truth, trust and authenticity.
DOI:	10.48550/arxiv.2302.06164