Отправить статью по E-mail 
МОДАЛЬНЫЕ ЛОГИКИ С МОДАЛЬНОСТЬЮ ДОПОЛНЕНИЯ
- Авторы: Золин Е.Е.1
-
Учреждения:
- Московский государственный университет им. М.В. Ломоносова
- Выпуск: Том 525, № 1 (2025)
- Страницы: 31-39
- Раздел: МАТЕМАТИКА
- URL: https://ogarev-online.ru/2686-9543/article/view/356782
- DOI: https://doi.org/10.7868/S3034504925050046
- ID: 356782
Цитировать
Открытый доступ
Доступ предоставлен
Только для подписчиков
Аннотация
Модальная логика с двумя операторами — для отношения достижимости модели Крипке и для его дополнения — впервые исследована Хамберстоуном в 1983 г. [5], который аксиоматизировал ее бесконечным набором аксиом. В настоящей работе мы даем конечную аксиоматику этой логики, а также аксиоматизируем соответствующие логики некоторых естественных классов шкал Крипке.
Ключевые слова
Об авторах
Е. Е. Золин
Московский государственный университет им. М.В. Ломоносова
Email: vshehtman@gmail.com
Москва, Россия
Список литературы
- Золин Е.Е. Модальные логики с модальностью пересечения // Доклады Российской Академии Наук. Математика, информатика, процессы управления. 2025. Т. 521. С. 107—123.
- Chagrov A., Zakharyaschev M. Modal logic. Oxford, 1997.
- Goranko V., Vakarelov D. Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures // Advances in Modal Logic / ed. by M. Kracht [et al.]. CSLI Publications, 1998. P. 265—292.
- Hemaspaandra E. The Price of Universality // Notre Dame Journal of Formal Logic. 1996. V. 37. No. 2. P. 174—203. https://doi.org/10.1305/ndjfl/1040046086
- Humberstone I.L. Inaccessible worlds // Notre Dame Journal of Formal Logic. 1983. July. V. 24. No. 3. P. 346—352. https://doi.org/10.1305/ndjfl/1093870378
- Lutz C., Sattler U. The Complexity of Reasoning with Boolean Modal Logics // Advances in Modal Logic. 2000. V. 3. P. 329—348.
Дополнительные файлы
