Gównym celem pracy by
o rozszerzenie jezyka zapytan poprzez wybranie fragmentów logik modalnych, dla których testowanie spe
nialnosci formu
y 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 z
ozonosc pamieciowa zdaniowych logik modalnych moga byc poprawione.