|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Полупроизведения, произведения и предикатные модальные логики: некоторые примерыстатья
Статья опубликована в журнале из списка RSCI Web of Science
- Авторы: Шехтман В.Б., Шкатов Д.П.
- Журнал: Доклады Российской академии наук. Математика, информатика, процессы управления
- Том: 513
- Год издания: 2023
- Издательство: Российская академия наук
- Местоположение издательства: Москва
- Первая страница: 98
- Последняя страница: 106
- Аннотация: В работе изучаются полупроизведения и произведения пропозициональных модальных логик с S5 и их связь с предикатными модальными логиками. Приводятся примеры пропозициональных мо- дальных логик, полупроизведения и произведения которых с S5 аксиоматизируются минимальным образом (т.е. эти логики согласованы с S5 по полупроизведению и по произведению), а также при- меры логик, не обладающих этими свойствами. Финитная аппроксимируемость и согласованность по полупроизведению с S5 обеспечивают разрешимость соответствующих предикатных модальных логик.
- Добавил в систему: Шехтман Валентин Борисович