Л. Л. Максимова, В. Ф. Юн, “Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4”, Сиб. матем. журн., 2022, том 63, номер 2,страницы 344

Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4

Л. Л. Максимова, В. Ф. Юн

Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090

Аннотация: Рассматривается свойство ограниченной интерполяции IPR в модальных логиках. Ранее была доказана разрешимость свойства IPR над модальной логикой S4 и найден конечный список, содержащий все логики, которые могут обладать свойством IPR над S4. Однако в этом списке есть лишние логики. В данной статье приведены примеры таких логик.

Ключевые слова: модальная логика, интерполяция, разрешимость, узнаваемость, неклассические логики, амальгамируемость, характеристические формулы.

УДК: 510.64

Статья поступила: 05.06.2021
Окончательный вариант: 18.11.2021
Принята к печати: 10.12.2021

DOI: 10.33048/smzh.2022.63.207