| Title |
Logic of knowledge with infinitely many agents / |
| Translation of Title |
Žinojimo logika su begaliniu agentų skaičiumi. |
| Authors |
Pliuškevičius, Regimantas |
| DOI |
10.15388/LMR.2006.30719 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. 2006, T. 46, spec, Nr, p. 247-252.. ISSN 0132-2818 |
| Keywords [eng] |
Logic, modal ; Logic of knowledge ; Calculus, sequent |
| Abstract [eng] |
Cut-free sequent calculus for logic of knowledge with infinitely many agents, based on multimodul S5_n. |
| Type |
Journal article |
| Language |
English |
| Publication date |
2006 |
| CC license |
|
