Cut elimination for knowledge logic with interaction

Julius  Andrikonis; Regimantas  Pliuškevičius

doi:10.15388/LMR.2007.24226

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.

Download Citation

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.

Most read articles in this journal

Aurimas Paulius Girčys, Regimantas Pliuškevičius, A specialization of definitions in common knowledge logic , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Julius Andrikonis, Cut-elimination for knowledge logics with interaction , Lietuvos matematikos rinkinys: Vol. 48 (2008)
Regimantas Pliuškevičius, Logic of knowledge with infinitely many agents , Lietuvos matematikos rinkinys: Vol. 46 (2006)
Regimantas Pliuškevičius, Decision procedures for quantified fragments of reflexive common knowledge logic , Lietuvos matematikos rinkinys: Vol. 44 (2004)
Regimantas Pliuškevičius, Combination of temporal logic with modal logic KD , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Regimantas Pliuškevičius, Decision procedure for first-order linear temporal logic with semi-periodic kemels , Lietuvos matematikos rinkinys: Vol. 42 (2002)
Jolanta Kaušilaitė , Regimantas Pliuškevičius, On decidability of a fragment of intuitionistic predicate logic , Lietuvos matematikos rinkinys: No. III (1999)

<< < 1 2