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, 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); 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