2023/02/13 by Steve Reeves, Reeves, Steve
Arts and Humanities · Computer Science · Psychology · #Epistemology, Ethics, and Metaphysics #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Philosophy and Theoretical Science #Social and Information Networks (cs.SI) #Software Engineering (cs.SE)
paper · pdf · doi:10.48550/arxiv.2302.06164
openalex publication_date 2023/02/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.