| Title | Prefixed tableaux for multi-modal logic of knowledge with inclusions / |
|---|---|
| Translation of Title | Semantinės lentelės su prefiksais žinojimo logikos praplėtimui. |
| Authors | Sakalauskaitė, Jūratė |
| DOI | 10.15388/LMR.2003.32506 |
| Full Text |
|
| Is Part of | Lietuvos matematikos rinkinys : Lietuvos matematikų draugijos XLIV konferencijos mokslo darbai / Matematikos ir informatikos institutas, Lietuvos matematikų draugija, Vilniaus universitetas.. Vilnius : Matematikos ir informatikos institutas. 2003, t. 43, spec. Nr., p. 449-453.. ISSN 0132-2818 |
| Published | Vilnius : Matematikos ir informatikos institutas |
| Type | Conference paper |
| Language | English |
| Publication date | 2003 |
| CC license |
|