Tobias Nipkow
2018-10-29 14:32:14 UTC
Epistemic Logic
Andreas HalkjÊr From
This work is a formalization of epistemic logic with countably many agents. It
includes proofs of soundness and completeness for the axiom system K. The
completeness proof is based on the textbook "Reasoning About Knowledge" by
Fagin, Halpern, Moses and Vardi (MIT Press 1995).
https://www.isa-afp.org/entries/Epistemic_Logic.html
Enjoy!
Andreas HalkjÊr From
This work is a formalization of epistemic logic with countably many agents. It
includes proofs of soundness and completeness for the axiom system K. The
completeness proof is based on the textbook "Reasoning About Knowledge" by
Fagin, Halpern, Moses and Vardi (MIT Press 1995).
https://www.isa-afp.org/entries/Epistemic_Logic.html
Enjoy!