|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Квадраты модальных логик с дополнительными связками
В. Б. Шехтманabc a Национальный исследовательский университет «Высшая школа экономики»
b Институт проблем передачи информации им. А. А. Харкевича РАН, г. Москва
c Московский государственный университет им. М. В. Ломоносова
Аннотация:
В работе исследуются двумерные модальные логики специального вида – “квадраты Сегерберга”. Они определяются как обычные квадраты модальных логик с дополнительными связками, которые соответствуют симметрии относительно диагонали и двум проекциям на нее. Для этих логик во многих случаях строится конечная аксиоматика, доказывается полнота и финитная аппроксимируемость. Строится перевод квадратов Сегерберга в классическую логику предикатов.
Библиография: 21 название.
Ключевые слова:
модальная логика, произведение модальных логик, квадрат Сегерберга, полнота, финитная аппроксимируемость, метод фильтраций, классическая логика предикатов, проблема разрешения.
Поступила в редакцию: 10.08.2011
Образец цитирования:
В. Б. Шехтман, “Квадраты модальных логик с дополнительными связками”, УМН, 67:4(406) (2012), 129–186; Russian Math. Surveys, 67:4 (2012), 721–777
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/rm9442https://doi.org/10.4213/rm9442 https://www.mathnet.ru/rus/rm/v67/i4/p129
|
Статистика просмотров: |
Страница аннотации: | 626 | PDF русской версии: | 369 | PDF английской версии: | 26 | Список литературы: | 112 | Первая страница: | 28 |
|