| Title |
Cut free sequent calculus for logic S5_n(ED) / |
| Another Title |
Sekvencinis skaičiavimas be pjūvio taisyklės logikai S5_n(ED). |
| Authors |
Giedra, Haroldas |
| DOI |
10.15388/LMR.2010.61 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. Lietuvos matematikų draugijos darbai. 2010, T. 51, p. 336-341.. ISSN 0132-2818 |
| Keywords [eng] |
Logic, epistemic ; Knowledge, distributed ; Knowledge of everybody ; Calculus, sequent ; Cut elimination |
| Abstract [eng] |
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. |
| Type |
Conference paper |
| Language |
English |
| Publication date |
2010 |
| CC license |
|
