Что такое семантика Крипке? (Модальная логика)
Автор: Carneades.org
Загружено: 2017-10-15
Просмотров: 29281
Видео, объясняющее семантику модальной логики Сола Крипке, включая возможные миры, отношение доступности и операцию оценки. В нём также рассматривается семантическое значение каждой аксиомы модальной логики, а также то, как отношение доступности может быть последовательным, рефлексивным, транзитивным, симметричным и евклидовым с использованием аксиом K, D, T, 4 и 5.
Спонсоры: Жуан Коста Нету, Дакота Джонс, Джо Феликс, Принс Отчере, Майк Сэмюэл, Дэниел Хелланд, Мохаммад Азми Банибейкер, Деннис Секстон, Ю Сабури, Маурисино Андраде, Уилл Робертс и √2. Спасибо за вашу поддержку!
Пожертвуйте на Patreon: / carneades
Купить товары через Zazzle: http://www.zazzle.com/carneades
Подпишитесь на нас в Твиттере: @CarneadesCyrene / carneadescyrene
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
