|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Global neighbourhood completeness of the provability logic GLPстатья
- Автор: Shamkanov Daniyar
- Сборник: Advances in Modal Logic
- Серия: Advances in Modal Logic
- Том: 13
- Год издания: 2020
- Место издания: College Publications London
- Первая страница: 581
- Последняя страница: 596
- Аннотация: The provability logic GLP introduced by G. Japaridze is a propositional polymodal logic with important applications in proof theory, specificially, in ordinal analysis of arithmetic. Though being incomplete with respect to any class of Kripke frames, the logic GLP is complete for its neighbourhood interpretation. This completeness result, established by L. Beklemishev and D. Gabelaia, implies strong neighbourhood completeness of this system for the case of the so-called local semantic consequence relation. In this article, we consider Hilbert-style non-well-founded derivations in the provability logic GLP and establish that GLP with the obtained derivability relation is strongly neighbourhood complete in the case of the global semantic consequence relation.
- Добавил в систему: Золин Евгений Евгеньевич