Polymodal logics of $\alpha$-spaces Научная публикация
| Журнал |
Trends in Logic
ISSN: 1572-6126 , E-ISSN: 2212-7313 |
||
|---|---|---|---|
| Вых. Данные | Год: 2026, | ||
| Ключевые слова | Modal logic · Temporal logic · Ershov spaces · Interpolation | ||
| Авторы |
|
||
| Организации |
|
Реферат:
The polymodal logics associated with -spaces are studied. The notion of an -space was introduced by Yu.L. Ershov with the aim of developing the theory of computable functionals. Special classes of strictly linearly ordered -frames, namely f-frames and -frames, have been introduced. Polymodal and temporal logics that are complete with respect to these classes have been discovered and described. It is shown that all of these logics have the finite model property and are decidable. In addition, the
polymodal logics of strictly linearly ordered f-spaces and strictly linearly ordered f_0- spaces do not possess Craig’s nterpolation property.
Библиографическая ссылка:
Maksimova L.L.
, Yun V.F.
Polymodal logics of $\alpha$-spaces
Trends in Logic. 2026.
Polymodal logics of $\alpha$-spaces
Trends in Logic. 2026.
Идентификаторы БД:
Нет идентификаторов