|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Modal logics with transitive closure: Completeness, decidability, filtrationстатья
- Авторы: Kikot Stanislav, Shapirovsky Ilya, Zolin Evgeny
- Сборник: Advances in Modal Logic
- Серия: Advances in Modal Logic
- Том: 13
- Год издания: 2020
- Место издания: College Publications London
- Первая страница: 369
- Последняя страница: 388
- Аннотация: We give a sufficient condition for Kripke completeness of modal logics that have the transitive closure modality. More precisely, we show that if a modal logic admits what we call definable filtration, then its enrichment with the transitive closure modality (and the corresponding axioms) is Kripke complete; in addition, the resulting logic has the finite model property and admits definable filtration, too. This argument can be iterated, and as an application we obtain the finite model property for PDL-like expansions of multimodal logics that admit definable filtration.
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Full text | 2020_Kikot_Shapirovsky_Zolin_AiML.pdf | 522,1 КБ | 10 августа 2020 [ezolin] |