TR-2006004: Justified Knowledge Is Sufficient
Evangelia Antonakos · CUNY Academic Works (City University of New York) · 2006
Three formal approaches to public knowledge are "any fool" knowledge by McCarthy (1970), Common Knowledge by Halpern and Moses (1990), and Justified Knowledge by Artemov (2004).We compare them to mathematically address the observation that the light-weight systems of Justified Knowledge and 'any fool knows' suffice to solve standard epistemic puzzles for which heavier solutions based on Common Knowledge are offered by standard textbooks.Specifically we show that epistemic systems with Common Knowledge modality C are conservative with respect to Justified Knowledge systems on formulas χ ∧ Cϕ → ψ, where χ, ϕ, and ψ are C-free.We then notice that formalization of standard epistemic puzzles can be made in the aforementioned form, hence each time there is a solution within a Common Knowledge system, there is a solution in the corresponding Justified Knowledge system.