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

Минимальная нормальная модальная логика
Introduction to Model Theory

What: Lecture
When: Saturday, 19 October 2019, 19:00–20:30
Where: ПОМИ РАН
Slides: modal_logic_lecture_191019.pdf

Description

  1. Понятия нормальной модальной логики, минимальной нормальной модальной логики
  2. Теорема корректности: логика произвольного класса шкал является нормальной модальной логикой
  3. Лемма Линденбаума, каноническая модель и доказательство теоремы о полноте: минимальная нормальная модальная логика — логика класса всех шкал

Video

Computer Science Club, 2007–24 гг.