On transferring properties of $\mathbf{N4}^{\bot}$-extensions to their modal companion Conference Abstracts
| Conference |
Международная конференция "Мальцевские чтения" 10-14 Nov 2025 , Новосибирск, ИМ СО РАН |
||
|---|---|---|---|
| Source | Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов Compilation, 2025. 236 c. |
||
| Output data | Year: 2025, Pages: 106 Pages count : 1 | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Russian Science Foundation | 23-11-00104 |
Abstract:
Для расширений конструктивной логики Нельсона $\mathbf{N4}^{\bot}$ их модальные напарники определяются как расширения Белнаповской модальной логики BS4, в которые данной $\mathbf{N4}^{\bot}$-расширение вкладывается посредством естественной модификации трансляции Геделя-Тарского. В докладе рассматриваются вопросы переноса на модальные напарники таких свойств $\mathbf{N4}^{\bot}$-расширений как табличность, предтабличность, свойство конечных моделей, расрешимость, интерполяционное свойство Крейга.
Cite:
Odintsov S.P.
On transferring properties of $\mathbf{N4}^{\bot}$-extensions to their modal companion
In compilation Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов. 2025. – C.106.
On transferring properties of $\mathbf{N4}^{\bot}$-extensions to their modal companion
In compilation Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов. 2025. – C.106.
Identifiers:
No identifiers
Citing:
Пока нет цитирований