Seminar for Computational Logic
PROGRAM
Predavanja možete pratiti i online putem MITEAM stranice Seminara za računarsku logiku:
https://miteam.mi.sanu.ac.rs/asset/Cfox9absXrRZL3cah
Plan rada Seminara za računarsku logiku za OKTOBAR 2026.
Četvrtak, 08.10.2026. u 14:00, Kneza Mihaila 36, sala 301f i
Online
Anđela Stojilković
BISIMULACIJA
Tema ovog rada je bisimulacija u modalnoj logici. Najpre se uvode osnovni pojmovi relacione semantike i Kripkeovih modela, a zatim se objašnjava zbog čega je izomorfizam često suviše strog zahtev za poređenje modalnih modela. Nakon toga definiše se bisimulacija i prikazuje njena veza sa modalnom ekvivalentnošću. Posebno se razmatraju Teorema o invarijantnosti, Hennessy–Milnerova teorema, standardna translacija modalnih formula u logiku prvog reda i Van Benthemova teorema o karakterizaciji.
Važan deo rada posvećen je igri bisimulacije između Spoilera i Duplicatora. Pomoću pravila igre i konkretnih primera pokazuje se kako se uslovi Atom, Forth i Back mogu razumeti kao potezi i strategije dva igrača. Analiziraju se tri primera koji prikazuju koinduktivnu prirodu bisimulacije, lokalnost modalnog jezika i situaciju u kojoj su dva stanja modalno ekvivalentna, ali nisu bisimilarna.
Na kraju se navode neke od glavnih primena bisimulacije, kao što su dobijanje manjeg modela koji zadovoljava iste modalne formule, dokazivanje da određena svojstva nisu izraziva u bazičnoj modalnoj logici i redukcija prostora stanja u teorijskom računarstvu. Cilj rada je da se objasni šta je bisimulacija, kako se može prepoznati i zbog čega je važna u modalnoj logici.
Beograd, 2026.
Sekretar Seminara:
Una Stanković
Rukovodilac Seminara:
Prof. dr Nebojša Ikodinović
