34 Основные свойства модальных логик

Свойства модальных логик: - монотонность штопора - компактность штопора - корректность штопора - полнота штопора (относительно соответствующих моделей Крипке) - теорема о дедукции без правила усиления Вложение логики Int в логики S4 и GL. И кое-что про арифметику.