Неразрешимость модальных логик одноместного предиката

Main Article Content

M. Н. Рыбаков

Аннотация

Рассматриваются модальные предикатные логики в языке, содержащем только одноместные предикатные буквы. Показано, что любая логика, содержащаяся в \({\bf QS5}, {\bf QGLLin}\) или \({\bf QGrz.3}\) является алгоритмически неразрешимой в языке с одной одноместной предикатной буквой (как при наличии, так и при отсутствии в логике формулы Баркан). Также показано, что логики конечных шкал Крипке (как с расширяющимися, так и с постоянными областями) для \({\bf QK}, {\bf QT}, {\bf QD}, {\bf QK4}, {\bf QS4}, {\bf QS5}, {\bf QGL}, {\bf QGrz}\) и многих других не являются рекурсивно перечислимыми в языке с одной одноместной предикатной буквой. Тем не менее табличные логики и логики шкал Крипке с ограничением на число миров, достижимых из произвольного мира, разрешимы в языке с бесконечным множеством одноместных предикатных букв.


DOI: 10.21146/2074-1472-2017-23-2-60-75

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
РыбаковM. Н. Неразрешимость модальных логик одноместного предиката // Логические исследования / Logical Investigations. 2018. Т. 23. № 2.
.
Раздел
Неклассические логики