"Определимость в нормальных расширениях логики S4" - читать интересную книгу автора (Максимова Л. Л.)