G
ównym celem pracy byo rozszerzenie jezyka zapytan poprzez wybranie fragmentów logik modalnych, dla których testowanie spenialnosci formuy wymaga wielomianowego czasu. Opracowano równiez metode konstruowania najmniejszych modeli dla wybranych fragmentów logik modalnych. Ponadto, zbadano czy procedury decyzyjne i górne ograniczenia na zozonosc pamieciowa zdaniowych logik modalnych moga byc poprawione.