Applications of Game Theory and Epistemic Logic to Fact-Checking

In this paper, we present a game theoretical and an epistemic logical approach to fact-checking. Game theory is the study of strategic reasoning whereas epistemic logic is the formal study of reasoning about and with knowledge. Fact-checking is strategic because the process involves more than one agent. It is epistemic as the process is all about verifying the correctness of one or more pieces of information – hence checking whether it is indeed “knowledge”. We discuss a variety of typical fact-checking scenarios and present game theoretical and epistemic logical analysis for them.