Open AccessTwo complete finitary sequent calculi for reflexive common knowledge
Author(s) -
Aurimas Paulius Girčys,
Regimantas Pliuškevičius
Publication year - 2013
Publication title -
lietuvos matematikos rinkinys
Language(s) - English
Resource type - Journals
eISSN - 2335-898X
pISSN - 0132-2818
DOI - 10.15388/lmr.a.2013.05
Subject(s) - finitary , sequent , cut elimination theorem , calculus (dental) , completeness (order theory) , reflexivity , mathematics , natural deduction , sequent calculus , discrete mathematics , algebra over a field , pure mathematics , proof calculus , medicine , mathematical analysis , mathematical proof , social science , geometry , dentistry , sociology
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.