Two complete finitary sequent calculi for reflexive common knowledge
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.

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
Creative Commons License

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

Please read the Copyright Notice in Journal Policy