На 5 декември 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom
ще се проведе хибридно заседание на семинара по „Алгебра и логика”.

Доклад на тема:

_{Класически резултати в интервална темпорална логика с разширяващи модалности и кратките им доказателства с теоремата за разделянето}

ще изнесе

Димитър Гелев (ИМИ-БАН).

Резюме. Показваме как, с помощта на автомати на Стрийт и нашата теорема за разделянето в интервалната темпорална логика с разширяващи модалности ITL-NL, се получават кратки доказателства на изразимостта в ITL-NL на квантора по съждителните променливи и интервални версии на нормалните форми от йерархията на Манна и Пнюели и, като следствие, интерполационната теорема на Крейг и теоремата за явната определимост на Бет. Формите от йерархията на Манна и Пнюели и теоремите на Крейг и Бет са технически нови за интервалната темпорална логика, и казаните кратки доказателства са и първите им доказателства, но всичките резултати са с утвърдено предварително известно приложение, и в по-прости темпорални логики и вън от темпоралната логика.

Поканват се всички желаещи да присъстват.

От секция „Алгебра и логика” на ИМИ – БАН
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================