Л. Л. Максимова, “Определимость в нормальных расширениях логики S4”, Алгебра и логика, 2004, том 43, номер 4,страницы 387

Эта публикация цитируется в 8 статьях

Определимость в нормальных расширениях логики S4

Л. Л. Максимова

Институт математики им. С. Л. Соболева СО РАН

Аннотация: Исследуется проективное свойство Бета PB2 в нормальных модальных логиках, расширяющих логику S4. Находится удобный критерий справедливости свойства PB2 для более широкого семейства расширений логики K4. Дается описание всех локально табличных расширений логики Гжегорчика со свойством PB2. Находятся суперинтуиционистские логики с проективным свойством Бета, не имеющие модальных напарников с этим свойством.

Ключевые слова: модальная логика, логика Гжегорчика, суперинтуиционистская логика, локально табличное расширение, проективное свойство Бета.

УДК: 510.64

Поступило: 16.04.2003