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

Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), Kontur Talk

01.06.2026 Dmitry Shkatov (University of the Witwatersrand, https://dshkatov.github.io/):
Kripke completeness for predicate modal logics with axioms of bounded alternativity (online talk)

Joint work with Valentin Shehtman.

We present some recent results on Kripke completeness, Kripke incompleteness, and Kripke completions of first-order modal logics with propositional axioms that, in propositional Kripke semantics, correspond to the condition that every world sees at most n worlds. Kripke completeness is established using selective weak submodels of canonical models introduced by V. Shehtman. Kripke incompleteness is proven using the Kripke bundle semantics.