Позивамо вас на Семинар за рачунарску логику, који ће бити одржан у четвртак, 8. октобра, са почетком у 14 часова, у сали 301ф, Кнеза Михаила 36, као и онлајн.

Предавач: Анђела Стојиљковић
Наслов: Бисимулација

Сажетак

Тема предавања је бисимулација у модалној логици. Биће представљени основни појмови релационе семантике и Крпкеових модела, као и веза бисимулације са модалном еквивалентношћу.

Посебна пажња биће посвећена игри бисимулације између Спојлера и Дупликатора, кроз коју ће на конкретним примерима бити објашњени основни услови и стратегије игре.

На крају ће бити представљене неке од главних примена бисимулације у модалној логици и теоријском рачунарству, укључујући редукцију простора стања и добијање мањих модела са истим модалним својствима.

Кључне речи: модална логика, Крпкеов модел, бисимулација, модална еквивалентност, Хенеси–Милнерова теорема, игра бисимулације.

Напомињемо да је Семинар за вероватносне логике од ове године преименован у Семинар за рачунарску логику.

За приступ онлајн семинару користиће се нови линк .