Two complete finitary sequent calculi for reflexive common knowledge

Aurimas Paulius Girčys; Regimantas Pliuškevičius

doi:10.15388/LMR.A.2013.05

Articles

Aurimas Paulius Girčys

Vilnius University

Regimantas Pliuškevičius

Vilnius University

Published 2013-12-15

https://doi.org/10.15388/LMR.A.2013.05

PDF

Keywords

common knowledge logic
reflexive common knowledge logic
sequent calculi

How to Cite

Girčys, A.P. and Pliuškevičius, R. (2013) “Two complete finitary sequent calculi for reflexive common knowledge”, Lietuvos matematikos rinkinys, 54(A), pp. 12–15. doi:10.15388/LMR.A.2013.05.

Download Citation

Abstract

This paper discusses the use of complete sequent calculi for reflexive common knowledge logic. Description of language and complete infinitary calculus for RCL is presented. Then finitary calculi RCLI and RCLL are introduced and completeness of finitary calculi RCLI and RCLL is proven.

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
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)
Aurimas Paulius Girčys, Regimantas Pliuškevičius, A specialization of definitions in common knowledge logic , Lietuvos matematikos rinkinys: Vol. 52 (2011)

1 2 > >>