Аннотация:
Модальная логика с двумя операторами – для отношения достижимости модели Крипке и для его дополнения – впервые исследована Хамберстоуном в 1983 г. [5], который аксиоматизировал ее бесконечным набором аксиом. В настоящей работе мы даем конечную аксиоматику этой логики, а также аксиоматизируем соответствующие логики некоторых естественных классов шкал Крипке.
Ключевые слова:
модальная логика, модальность дополнения, полнота по Крипке.
УДК:
004.047
Статья представлена к публикации:А. Л. Семёнов Поступило: 25.07.2025 После доработки: 18.08.2025 Принято к публикации: 19.08.2025
