| Title |
Sequent calculus for logic of correlated knowledge |
| Translation of Title |
Sekvencinis skaičiavimas koreliatyvių žinių logikai. |
| Authors |
Giedra, Haroldas ; Sakalauskaitė, Jūratė |
| DOI |
10.15388/LMR.2011.ml04 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. LMD darbai.. Vilnius : Matematikos ir informatikos institutas. 2011, t. 52, p. 243-248.. ISSN 0132-2818 |
| Keywords [eng] |
General epistemic logic ; Logic of correlated knowledge ; Sequent calculus |
| Abstract [eng] |
Sound and complete sequent calculi for general epistemic logic and logic of correlated knowledge are presented in this paper. |
| Published |
Vilnius : Matematikos ir informatikos institutas |
| Type |
Journal article |
| Language |
English |
| Publication date |
2011 |
| CC license |
|
