U petak 2. listopada 2026. u 12 sati u dvorani B3-17 Prirodoslovno-matematičkog fakulteta, Ruđera Boškovića 33, izv. prof. dr. sc. Tin Perkov sa Sveučilišta u Zagrebu održat će predavanje pod naslovom Karakteristične formule za bisimulacijske igre u modalnoj logici. Pozivamo sve zainteresirane da prisustvuju predavanju.
Sažetak:
Modalna logika omogućuje formalizaciju nužnosti i mogućnosti, znanja i vjerovanja, dokazivosti i mnogih drugih svojstava koja se mogu smatrati operatorima na logičkim sudovima. Takva, međusobno prividno vrlo različita svojstva, mogu se na iznenađujuće sličan način modelirati relacijskim strukturama. Modalna logika kao strogo izgrađen formalni sistem zapravo je jednostavno, ali izražajno sredstvo za opis relacijskih struktura. Bisimulacija je osnovna ekvivalencija struktura za modalnu logiku. Bisimulacijama je intuitivno jednostavnije pristupiti pomoću bisimulacijskih igara na danim strukturama, prikladno definiranih tako da je postojanje pobjedničke strategije u takvoj igri ekvivalentno postojanju bisimulacije među strukturama. Izražajna snaga modalne logike pritom se očituje u mogućnosti konstrukcije karakterističnih formula koje izriču upravo da takva pobjednička strategija postoji. Na predavanju će biti prikazane karakteristične formule za osnovnu modalnu logiku, logiku interpretabilnosti i inkvizitivnu modalnu logiku.
Srdačan pozdrav!
Tea Martinić Bilać
voditeljica Znanstvenog razreda
