On proving in epistemic logic
Dawid Grzegorczyk, JAN J. MULAWKA, Edward Nieznański · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2012
In this article there are presented a few methods of proving that can be adopted for epistemic logic. Those methods are used for proving sample thesis in a certain considered epistemic logic also described briefly in this work.