|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
МАТЕМАТИКА
Полупроизведения, произведения и предикатные модальные логики: некоторые примеры
В. Б. Шехтманa, Д. П. Шкатовb a Математический институт им. В.А. Стеклова Российской академии наук, Москва, Россия
b School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, South Africa
Аннотация:
В работе изучаются полупроизведения и произведения пропозициональных модальных логик с S5 и их связь с предикатными модальными логиками. Приводятся примеры пропозициональных модальных логик, полупроизведения и произведения которых с S5 аксиоматизируются минимальным образом (т.е. эти логики согласованы с S5 по полупроизведению и по произведению), а также примеры логик, не обладающих этими свойствами. Финитная аппроксимируемость и согласованность по полупроизведению с S5 обеспечивают разрешимость соответствующих предикатных модальных логик.
Ключевые слова:
полупроизведения модальных логик, произведения модальных логик, предикатныe модальныe логики.
Образец цитирования:
В. Б. Шехтман, Д. П. Шкатов, “Полупроизведения, произведения и предикатные модальные логики: некоторые примеры”, Докл. РАН. Матем., информ., проц. упр., 513 (2023), 99–107; Dokl. Math., 108:2 (2023), 411–418
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/danma422 https://www.mathnet.ru/rus/danma/v513/p99
|
Статистика просмотров: |
Страница аннотации: | 45 | Список литературы: | 12 |
|