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 kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.