Mechanizing epistemic logic with Coq
Pierre Lescanne · HAL (Le Centre pour la Communication Scientifique Directe) · 2004
I present a mechanization of epistemic logic, also called knowledge logic, I have done using Coq. This work includes a formalization in Coq of epistemic logic and two case studies. This report is an updating of LIP report RR2001-12.