Naudojantis Maslovo atvirkštiniu metodu įrodomas kai kurių modalinės logikos S5 klasių su vienviečiais predikatiniais kintamaisiais išsprendžiamumas pagal išvedimą.
Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.