SoK: Formal Methods for Fact-Checking and Information Integrity
This work organises the field of automated fact-checking by what is being formalised instead, which gives five levels: the claim, the reasoning, the system doing the checking, the ecosystem the claim spreads through, and the regulatory obligation.