| Title |
Saturation method for reflexive common knowledge logic / |
| Translation of Title |
Prisotinimo metodas bendrojo žinojimo logikai. |
| Authors |
Pliuškevičius, Regimantas Ričardas ; Girčys, Aurimas Paulius |
| DOI |
10.15388/LMR.A.2012.19 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. Ser. A.. Vilnius : Vilniaus universiteto leidykla. 2012, t. 53, p. 108-111.. ISSN 0132-2818. eISSN 2335-898X |
| Keywords [eng] |
saturation method ; common knowledge logic ; reflexive common knowledge logic |
| Abstract [eng] |
This paper discusses the use of saturation procedure in order to check looping sequents in reflexive common knowledge logic. Traditional approach states that common knowledge operator is defined by some induction-like axiom and requires the use of some looping sequents. The loopcheck-free saturation-like procedure lets us obtain special loopfree sequents. |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Journal article |
| Language |
English |
| Publication date |
2012 |
| CC license |
|
