В. В. Рыбаков, “Некомпактные расширения логики $S4$”, Алгебра и логика, 1977, том 16, номер 4,страницы 472

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

Некомпактные расширения логики $S4$

В. В. Рыбаков

Аннотация: Доказывается существование некомпактных расширений модальной логики $S4$. Строятся континуум некомпактных расширений логики $S4$, каждое из которых слабее логики Гжегорчика, и континуум некомпактных расширений самой логики Гжегорчика.

УДК: 517.11

Поступило: 02.03.1977