Darbe nagrinėjamos bendro pavidalo modalumų logikos formulės. Aprašomas rezoliucijų skaičiavimas modalumą logikai S4 bei trodomas jo pilnumas ir korektiškumas.
Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.
