СЕМИНАР „АЛГЕБРА И ЛОГИКА”

Следващото заседание на семинара ще се проведе на 27 март 2015 г. (петък) от 11:00 часа в зала 578 на ИМИ – БАН.
Доклад на тема

Има само един основен оператор за проекция в интервалната темпорална логика с дискретно време

ще изнесе доц. Димитър Гелев.

Поканват се всички желаещи.

Резюме:

В доклада правя обзор на операторите за темпорална проекция в интервалната темпорална логика с дискретно време (ITL) на Мошковски, започвайки от предложения в работата на Зоар Манна, Джоузеф Халперн и Бен Мошковски през 1983 г. Операторите за проекция са удобно изразно средство при извод на свойства на системи времеделение и конкурентни системи изобщо. Показвам, че в система с оператора, предложен през 1983 г. всички по-нови оператори (два, плюс един с друго название, но със сходни математически свойства) могат да се считат за съкращения, т.е., изразими са с подходящи формули на ITL. Оттук автоматично следват част от основните резултати за тези оператори.