City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English
Computer Science Club

Канонические логики и пример неканонической логики
Introduction to Model Theory

What: Lecture
When: Sunday, 20 October 2019, 11:15–12:45
Where: ПОМИ РАН
Slides: modal_logic_lecture_201019_IIbhM90.pdf

Description

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

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

Video

Computer Science Club, 2007–25 гг.