You have requested a machine translation of selected content from our databases. This functionality is provided solely for your convenience and is in no way intended to replace human translation. Neither SPIE nor the owners and publishers of the content make, and they explicitly disclaim, any express or implied representations or warranties of any kind, including, without limitation, representations and warranties as to the functionality of the translation feature or the accuracy or completeness of the translations.
Translations are not retained in our system. Your use of this feature and the translations is subject to all use restrictions contained in the Terms and Conditions of Use of the SPIE website.
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.
The alert did not successfully save. Please try again later.
Dawid Grzegorczyk, Jan J. Mulawka, Edward Nieznański, "On proving in epistemic logic," Proc. SPIE 8454, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012, 845427 (15 October 2012);