Описание модальных логик со слабым свойством ко-накрытий
Ключевые слова:
модальная логика, правило вывода, модель и фрейм Крипке, допустимое правило.Аннотация
В представленной работе для описания слабого свойства ко-накрытий модальных логик используются допустимые правила вывода. Доказано, что модальная логика над S4 имеет слабое свойство ко-накрытий если и только если в логике допустим заданный набор правил вывода.
Загрузки
Опубликован
2022-06-21
Выпуск
Раздел
МАТЕМАТИЧЕСКАЯ ЛОГИКА, АЛГЕБРА И ТЕОРИЯ ЧИСЕЛ
