| Title |
Cut-elimination for knowledge logics with interaction |
| Translation of Title |
Pjūvio pašalinimas sekvenciniuose skaičiavimuose su sąveikos aksioma. |
| Authors |
Andrikonis, Julius |
| DOI |
10.15388/LMR.2008.18106 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys.. Vilnius : Vilniaus universiteto leidykla. 2008, t. 48/49, p. 263-268.. ISSN 0132-2818. eISSN 2335-898X |
| Keywords [eng] |
axiom, interaction ; cut elimination ; agent, central |
| Abstract [eng] |
In the article, multimodal logics K4_n and S4_n with the central agent axiom are analysed. The Hilbert type calculi are presented, then the Gentzen type calculi with cut are derived, and the proofs of the cut-elimination theorems are outlined. The work shows that it is possible to construct an analytical Gentzen type calculi for these logics. |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Conference paper |
| Language |
English |
| Publication date |
2008 |
| CC license |
|
