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

Канонические логики и пример неканонической логики
Введение в модальную логику


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

Описание

  1. Понятия канонической формулы и канонической логики

  2. Логика Гёделя — Лёба: пример полной по Крипке, но неканонической логики

Видео