| Title |
Loop-check elimination for non-transitive distributed knowledge logic |
| Translation of Title |
Ciklų tikrinimo eliminavimas paskirstyto žinojimo netranzityviai logikai. |
| Authors |
Pliuškevičienė, Aida |
| DOI |
10.15388/LMR.2008.18110 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys.. Vilnius : Vilniaus universiteto leidykla. 2008, t. 48/49, p. 278-282.. ISSN 0132-2818. eISSN 2335-898X |
| Keywords [eng] |
logic of knowledge ; knowledge, distributed ; calculus, sequent ; loop-check |
| Abstract [eng] |
A non-transitive distributed knowledge logic T_nD, obtained from multi-modal logic T_n by adding distributed knowledge operator, is considered. Sound and complete loop-check-free sequent calculus for this logic is proposed. Termination of derivations in proposed calculus is justified. |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Conference paper |
| Language |
English |
| Publication date |
2008 |
| CC license |
|
