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.

翻译：本文展示了从基本原理出发，形式化逻辑开发的初始阶段，旨在刻画并探讨广义真实性概念中的各类问题，其中包含可证明性、真理性、信任性和真实性等属性。