На 5 декември 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Класически резултати в интервална темпорална логика с разширяващи модалности и кратките им доказателства с теоремата за разделянето ще изнесе Димитър Гелев (ИМИ-БАН). Резюме. Показваме как, с помощта на автомати на Стрийт и нашата теорема за разделянето в интервалната темпорална логика с разширяващи модалности ITL-NL, се получават кратки доказателства на изразимостта в ITL-NL на квантора по съждителните променливи и интервални версии на нормалните форми от йерархията на Манна и Пнюели и, като следствие, интерполационната теорема на Крейг и теоремата за явната определимост на Бет. Формите от йерархията на Манна и Пнюели и [...]
35 събития found.
семинар Алгебра и логика
Събития
Календар на Събития
|
понеделник
|
вторник
|
сряда
|
четвъртък
|
петък
|
събота
|
неделя
|
|---|---|---|---|---|---|---|
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
1 събитие,
-
|
0 събития,
|
0 събития,
|
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|