mlsanityData to 7 Oct 2026

A Logic for Veracity

arXiv 2302.06164 ↗First posted 13 Feb 2023cs.LO cs.SE cs.SIcited by 1

Not on the map. Why?

Abstract (arXiv)

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.

Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). First posted on arXiv 13 Feb 2023.

Builds on

No reference list yet.

Built on by

Cited by year

Citing papers per year: 2024: 1.

1 paper.