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.

翻译：本文展示了从第一原理出发，构建一种形式逻辑以刻画并探索广义真实性概念（包括可证明性、真理性、信任及真实性等属性）的初步发展阶段。