#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar (https://www.mathnet.ru/conf876), Monday 16:00 MSK (UTC+3), Room 313 MIAN + Zoom (onsite talk)

23.09.2024 V. Shehtman (HSE Univeristy, MIPT): Completeness for modal predicate logics

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).

🔗 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar&


➰ ВК