Share Email Print
cover

Proceedings Paper

On proving in epistemic logic
Author(s): Dawid Grzegorczyk; Jan J. Mulawka; Edward Nieznański
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper 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.

Paper Details

Date Published: 15 October 2012
PDF: 7 pages
Proc. SPIE 8454, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012, 845427 (15 October 2012); doi: 10.1117/12.2000207
Show Author Affiliations
Dawid Grzegorczyk, Warsaw Univ. of Technology (Poland)
Jan J. Mulawka, Warsaw Univ. of Technology (Poland)
Edward Nieznański, Cardinal Stefan Wyszynski Univ. in Warsaw (Poland)


Published in SPIE Proceedings Vol. 8454:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012
Ryszard S. Romaniuk, Editor(s)

© SPIE. Terms of Use
Back to Top