|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Derivational modal logics with the difference modalityстатья
- Авторы: Kudinov Andrey, Shehtman Valentin
- Сборник: Leo Esakia on Duality in Modal and Intuitionistic Logics
- Серия: Outstanding Contributions to Logic
- Том: 4
- Глава в коллективной монографии
- Год издания: 2014
- Издательство: SPRINGER
- Местоположение издательства: VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ
- Первая страница: 10
- Последняя страница: 291
- DOI: 10.1007/978-94-017-8860-1_11
- Аннотация: In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces, T1-spaces, dense-in-themselves spaces, a zero-dimensional dense-in-itself separa5 ble metric space, Rn (n ≥ 2). We also discuss the correlation between languages with different combinations of the topological, derivational, universal and difference modalities in terms of definability.
- Добавил в систему: Шехтман Валентин Борисович