Cut free sequent calculus for logic S5n(ED)
Articles
Haroldas Giedra
Institute of Mathematics and Informatics
Published 2010-12-21
https://doi.org/10.15388/LMR.2010.61
PDF

Keywords

epistemic logic
distributed knowledge
knowledge of everybody
sequent calculus
cut elimination

How to Cite

Giedra, H. (2010) “Cut free sequent calculus for logic S5n(ED)”, Lietuvos matematikos rinkinys, 51(proc. LMS), pp. 336–341. doi:10.15388/LMR.2010.61.

Abstract

Hilbert style, Gentzen style sequent and Kanger style sequent calculi for logic S5n(ED) are considered in this paper. Gentzen style sequent calculus is constructed and its equivalence with Hilbert style system is proved, getting soundness and  completeness of Gentzen style system. Kanger style indexed sequent calculus is defined for cut elimination.

PDF

Downloads

Download data is not yet available.