15 October 2012 On proving in epistemic logic
Author Affiliations +
Proceedings Volume 8454, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012; 845427 (2012) https://doi.org/10.1117/12.2000207
Event: Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012, 2012, Wilga, Poland
Abstract
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.
© (2012) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Dawid Grzegorczyk, Dawid Grzegorczyk, Jan J. Mulawka, Jan J. Mulawka, Edward Nieznański, 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); doi: 10.1117/12.2000207; https://doi.org/10.1117/12.2000207
PROCEEDINGS
7 PAGES


SHARE
RELATED CONTENT

The philosophical backgrounds of formal concept analysis
Proceedings of SPIE (October 15 2012)
Reversible gates and circuits descriptions
Proceedings of SPIE (August 07 2017)
Gate-based decomposition of index generation functions
Proceedings of SPIE (September 28 2016)
Cell broadband engine architecture as a DSP platform
Proceedings of SPIE (August 05 2009)
Tactical assessment in a squad of intelligent bots
Proceedings of SPIE (September 14 2010)

Back to Top