Cut elimination for knowledge logic with interaction
Articles
Julius Andrikonis
Institute of Mathematics and Informatics
Regimantas Pliuškevičius
Institute of Mathematics and Informatics
Published 2021-06-14
https://doi.org/10.15388/LMR.2007.24226
PDF

Keywords

multimodal logic
Tn
interaction axiom
cut elimination

How to Cite

Andrikonis, J. and Pliuškevičius, R. (2021) “Cut elimination for knowledge logic with interaction”, Lietuvos matematikos rinkinys, 47(spec.), pp. 346–350. doi:10.15388/LMR.2007.24226.

Abstract

In the article the multimodal logic Tn with central agent interaction axiom is analysed. The Hilbert type calculi is presented, then Gentzen type calculi with cut is derived and the proof of cutelimination theorem is outlined. The work shows that it is possible to construct a Gentzen type calculi without cut for this logic.

PDF

Downloads

Download data is not yet available.