| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
|
|||
|
Completeness for modal predicate logics [Полнота для модальных предикатных логик] В. Б. Шехтманab a Национальный исследовательский университет "Высшая школа экономики", г. Москва b Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл. |
|||
|
Аннотация: In modal predicate logic the problem of semanticaI completeness is very nontrivial. Kripke semantics is too weak, and it is not clear how to improve it. In this talk we give a brief overview of the field and present proofs of some recent results on completeness and incompleteness. An earlier version of the talk was given at Workshop on first-order modal and temporal logics (Ljubljana 2023). Язык доклада: английский |
|||