| Title |
Two complete finitary sequent calculi for reflexive common knowledge / |
| Another Title |
Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai. |
| Authors |
Girčys, Aurimas Paulius ; Pliuškevičius, Regimantas Ričardas |
| DOI |
10.15388/LMR.A.2013.05 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. Ser. A.. Vilnius : Vilniaus universiteto leidykla. 2013, t. 54, p. 12-15.. ISSN 0132-2818. eISSN 2335-898X |
| Keywords [eng] |
common knowledge logic ; reflexive common knowledge logic ; sequent calculi |
| Abstract [eng] |
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. |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Journal article |
| Language |
English |
| Publication date |
2013 |
| CC license |
|
