Formalize authenticity within the veracity logic

Investigate and define the notion of authenticity within the intuitionistic, witness-based veracity logic and develop a formal treatment (e.g., rules or mechanisms) that models and reasons about authenticity claims in the same way trust, truth, and demonstrability are addressed.

Background

The paper introduces a logic of veracity grounded in intuitionistic type theory and extends it with actors, trust relations, and trust weights to address demonstrability, truth, and trust. While these aspects are treated, the authors explicitly note that authenticity remains unaddressed and even conceptually unsettled within their framework.

This gap is important because many practical veracity scenarios in supply chains hinge on authenticity of artifacts and records; a formal account of authenticity would complete the logic’s coverage of the four components of veracity (truth, trust, demonstrability, authenticity).