|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Теорема полноты в логике внутренних модальностейстатья
- Автор: Маркин В.И.
- Сборник: Методология развития научного знания
- Год издания: 1982
- Место издания: Издательство Московского университета Москва
- Первая страница: 154
- Последняя страница: 160
- Аннотация: В работе доказывается полнота исчисления, содержащего модальности de re, относительно реляционной семантики возможных состояний объектов.
- Добавил в систему: Маркин Владимир Ильич