Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Завершающая лекция: case studies
Введение в модальную логику


Что: Лекция
Когда: Воскресенье, 20 октября 2019, 15:30–17:00
Где: ПОМИ РАН
Слайды: modal_logic_lecture_201019_4fO5be7.pdf

Описание

Система \({\bf S}4.3\) и доказательство того, что эта логика является модальной логикой действительной прямой с нестрогим порядком

Введение в топологическую семантику модальной логики и теорема Маккинси-Тарского (без доказательства)

Логика \({\bf GL}\) и ее связь с доказуемостью в формальной арифметике, теорема Соловея (без доказательства)

Общий заключающий обзор

Видео