PSpace-трудность в модальной логике: следствия из конструкции Ладнера. Илья Шапировский (27.05.21)

Round-16 hunt: picked; source: named-course / course-code long-video search (r16, wave 2); channel screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality tier A passed; strict per-title check + final strict pass; oEmbed verified.

A 115-minute video from Кафедра матем. логики: “PSpace-трудность в модальной логике: следствия из конструкции Ладнера. Илья Шапировский (27.05.21)”.

Video by Кафедра матем. логики, played through YouTube's embedded player.