Darbe pateikiamas semantinių lentelių su prefiksais skaičiavimas daugelio modalumų žinojimo logikos tam tikram praplėtimui. Įrodomas šio skaičiavimo neprieštaringumas bei pilnumas.
Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.