A Logic for Veracity
Logic in Computer Science
2024-03-19 v4 Software Engineering
Social and Information Networks
Abstract
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.
Keywords
Cite
@article{arxiv.2302.06164,
title = {A Logic for Veracity},
author = {Steve Reeves},
journal= {arXiv preprint arXiv:2302.06164},
year = {2024}
}