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 |
|