Cut-elimination for knowledge logics with interaction
Articles
Julius Andrikonis
Institute of Mathematics and Informatics
Published 2008-12-21
https://doi.org/10.15388/LMR.2008.18106
PDF

Keywords

K4n
S4n
interaction axiom
cut elimination
central agen.

How to Cite

Andrikonis J. (2008) “Cut-elimination for knowledge logics with interaction”, Lietuvos matematikos rinkinys, 48(proc. LMS), pp. 263–268. doi: 10.15388/LMR.2008.18106.

Abstract

In the article, multimodal logics K4n and S4n 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-eliminationtheorems are outlined. The work shows that it is possible to construct an analytical Gentzen type calculi for these logics.

PDF
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy

Most read articles by the same author(s)