Семантика модальных и интенсиональных логик » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Software Engineering, 2nd Edition Software Engineering, 2nd Edition Amphibian Amphibian Зайка-зазнайка Зайка-зазнайка Джулькино детство Джулькино детство Солдатский подвиг Солдатский подвиг Почему ты шинель бережёшь? Почему ты шинель бережёшь? Домовёнок Кузька (2013) Домовёнок Кузька (2013) Luftwaffe Fighters 1935-1945 Luftwaffe Fighters 1935-1945 Catalonia: A New History (Routledge Studies in Modern European History) Catalonia: A New History (Routledge Studies in Modern European History) Liberating Libya: British Diplomacy and War in the Desert Liberating Libya: British Diplomacy and War in the Desert The Ultimate Pescatarian Cookbook for Beginners The Ultimate Pescatarian Cookbook for Beginners Persecution and Rescue: The Politics of the “Final Solution” in France, 1940-1944 Persecution and Rescue: The Politics of the “Final Solution” in France, 1940-1944 Чернобыль. Неизвестные подробности катастрофы Чернобыль. Неизвестные подробности катастрофы Вклад курчатовцев в ликвидацию последствий аварии на Чернобыльской АЭС Вклад курчатовцев в ликвидацию последствий аварии на Чернобыльской АЭС Чернобыль «ДСП». Последствия Чернобыля Чернобыль «ДСП». Последствия Чернобыля Полная энциклопедия спины и суставов: традиционные и инновационные методы лечения Полная энциклопедия спины и суставов: традиционные и инновационные методы лечения
Software Engineering, 2nd Edition Software Engineering, 2nd Edition Amphibian Amphibian Зайка-зазнайка Зайка-зазнайка Джулькино детство Джулькино детство Солдатский подвиг Солдатский подвиг Почему ты шинель бережёшь? Почему ты шинель бережёшь? Домовёнок Кузька (2013) Домовёнок Кузька (2013) Luftwaffe Fighters 1935-1945 Luftwaffe Fighters 1935-1945 Catalonia: A New History (Routledge Studies in Modern European History) Catalonia: A New History (Routledge Studies in Modern European History) Liberating Libya: British Diplomacy and War in the Desert Liberating Libya: British Diplomacy and War in the Desert The Ultimate Pescatarian Cookbook for Beginners The Ultimate Pescatarian Cookbook for Beginners Persecution and Rescue: The Politics of the “Final Solution” in France, 1940-1944 Persecution and Rescue: The Politics of the “Final Solution” in France, 1940-1944 Чернобыль. Неизвестные подробности катастрофы Чернобыль. Неизвестные подробности катастрофы Вклад курчатовцев в ликвидацию последствий аварии на Чернобыльской АЭС Вклад курчатовцев в ликвидацию последствий аварии на Чернобыльской АЭС Чернобыль «ДСП». Последствия Чернобыля Чернобыль «ДСП». Последствия Чернобыля Полная энциклопедия спины и суставов: традиционные и инновационные методы лечения Полная энциклопедия спины и суставов: традиционные и инновационные методы лечения
Категория: КНИГИ » ГУМАНИТАРНЫЕ НАУКИ
Семантика модальных и интенсиональных логик
Добавил: umkaS / 28-08-2019, 14:22 /
Название: Семантика модальных и интенсиональных логик
Автор: Смирнов В.А. (ред.)
Издательство: М.: Прогресс
Год: 1981
Cтраниц: 424
Формат: pdf
Размер: 52 мб
Язык: русский

Семантическое рассмотрение модальной логики. Виды модальности. Модальность и квантификация. Временная логика и непрерывность времени. Алгебраическая семантика для модальных логик. Семантический анализ временн'ых логик. Модальные логики с линейными отношениями альтернативности. Общий метод фильтрации для модальных логик.
Пропозициональные кванторы в модальной логике. Прагматика и интенсиональная логика. Семантика типа Монтегю для модальных логик с пропорциональными кванторами. Интенсиональные модели для формул первой ступени. Семантика следования.

Скачать Смирнов В.А. (ред.) Семантика модальных и интенсиональных логик




[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!