Семантика модальных и интенсиональных логик
- Добавил: umkaS
- Дата: 28-08-2019, 14:22
- Комментариев: 0
Название: Семантика модальных и интенсиональных логикАвтор: Смирнов В.А. (ред.)
Издательство: М.: Прогресс
Год: 1981
Cтраниц: 424
Формат: pdf
Размер: 52 мб
Язык: русский
Семантическое рассмотрение модальной логики. Виды модальности. Модальность и квантификация. Временная логика и непрерывность времени. Алгебраическая семантика для модальных логик. Семантический анализ временн'ых логик. Модальные логики с линейными отношениями альтернативности. Общий метод фильтрации для модальных логик.
Пропозициональные кванторы в модальной логике. Прагматика и интенсиональная логика. Семантика типа Монтегю для модальных логик с пропорциональными кванторами. Интенсиональные модели для формул первой ступени. Семантика следования.
Скачать Смирнов В.А. (ред.) Семантика модальных и интенсиональных логик
Внимание
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.