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

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


Что: Лекция
Когда: Воскресенье, 20 октября 2019, 11:15–12:45
Где:

Описание

  • Понятия канонической формулы и канонической логики
  • Логика Гёделя — Лёба: пример полной по Крипке, но неканонической логики