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

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


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

Описание

Система \({\bf S}4.3\) и доказательство того, что эта логика является модальной логикой действительной прямой с нестрогим порядком Введение в топологическую семантику модальной логики и теорема Маккинси-Тарского (без доказательства) Логика \({\bf GL}\) и ее связь с доказуемостью в формальной арифметике, теорема Соловея (без доказательства) Общий заключающий обзор