|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
On Completeness of Logics Enriched with Transitive Closure Modalityтезисы доклада
- Авторы: Shapirovsky Ilya, Zolin Evgeny
- Сборник: 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015)
- Серия: TACL
- Тезисы
- Год издания: 2015
- Первая страница: 1
- Последняя страница: 3
- Аннотация: We give a sufficient condition for Kripke completeness of the extension of a modal logic with the transitive closure modality. More precisely, we show that if a logic is canonical and admits what we call definable filtration (ADF), then such an extension is complete (and again ADF).
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | TACL_2015_Zolin_Shapirovsky.pdf | 226,5 КБ | 27 июля 2015 [ezolin] |