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

Romas Alonderis, Regimantas Pliuškevičius, Sequent systems for PLTL , Lietuvos matematikos rinkinys: Vol. 54 (2013): Ser. A
Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė, Finite sequent calculi for PLTL , Lietuvos matematikos rinkinys: Vol. 56 (2015): Ser. A
Regimantas Pliuškevičius, Aurimas Paulius Girčys, Saturation method for reflexive common knowledge logic , Lietuvos matematikos rinkinys: Vol. 53 (2012): Ser. A
Regimantas Pliuškevičius, Method of marks for propositional linear temporal logic , Lietuvos matematikos rinkinys: Vol. 55 (2014): Ser. A
Aurimas Paulius Girčys, Regimantas Pliuškevičius, Two complete finitary sequent calculi for reflexive common knowledge , Lietuvos matematikos rinkinys: Vol. 54 (2013): Ser. A
Romas Alonderis, Regimantas Pliuškevičius, Cut, invariant rule, and loop-check free sequent calculus for PLTL , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Julius Andrikonis, Regimantas Pliuškevičius, Contraction-free calculi for modal logics S5 and KD45 , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Regimantas Pliuškevičius , Termination of derivations for minimal tense logic , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Regimantas Pliuškevičius , Aida Pliuškevičienė, A method of marks and indices for linear modal logic , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Regimantas Pliuškevičius , Loop-free verification of termination of derivation for a fragment of dynamic logic , Lietuvos matematikos rinkinys: Vol. 48 (2008)

1 2 > >>