Объединения модально определимых классов моделей

Золин, Е.Е.

Автор: Золин Евгений Евгеньевич
Сборник: Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года
Редакторы: Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
Серия: Смирновские чтения по логике
Тезисы
Год издания: 2017
Издательство: Изд-во Моск. ун-та
Местоположение издательства: М.
Первая страница: 19
Последняя страница: 21
Аннотация: Основной результат: класс отмеченных моделей Крипке (соответственно, класс моделей Крипке) представим в виде объединения классов, задаваемых некоторыми множествами модальных формул, тогда и только тогда, когда он замкнут относительно бисимуляции (соответственно, сюръективной бисимуляции), а также он и его дополнение замкнуты относительно операции ультра-расширения.
Добавил в систему: Золин Евгений Евгеньевич

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ЦЭМИ РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА

ИСТИНА ЦЭМИ РАН

Объединения модально определимых классов моделейтезисы доклада

Прикрепленные файлы