|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О квадратах модальных логик с дополнительными связкамистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Шехтман Валентин Борисович
- Журнал: Труды Математического института им.В.А.Стеклова РАН
- Том: 274
- Год издания: 2011
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 343
- Последняя страница: 351
- Аннотация: Дается обзор новых результатов о двумерных модальных логиках специального вида – “квадратах Сегерберга”. Они определяются как обычные квадраты модальных логик с дополнительными связками, которые соответствуют симметрии относительно диагонали и двум проекциям на нее. Для этих логик во многих случаях удается доказать конечную аксиоматизируемость и финитную аппроксимируемость. Строится перевод квадратов Сегерберга в классическую логику предикатов.
- Добавил в систему: Золин Евгений Евгеньевич