| Title | Decision procedures for quantified fragments of reflexive common knowledge logic / |
|---|---|
| Translation of Title | Refleksyviosios bendro žinojimo logikos išsprendžiami kvantoriniai fragmentai. |
| Authors | Pliuškevičius, Regimantas |
| DOI | 10.15388/LMR.2004.32076 |
| Full Text |
|
| Is Part of | Lietuvos matematikos rinkinys. 2004, T. 44, spec, Nr, p. 530-534.. ISSN 0132-2818 |
| Type | Journal article |
| Language | English |
| Publication date | 2004 |
| CC license |
|