Seminar za matematičku logiku i osnove matematike

U ponedjeljak 23. svibnja 2022. u 17:00 sati, u predavaonici 105, PMF-MO, Sebastijan Horvat će održati predavanje u sklopu Seminara za matematičku logiku i osnove matematike pod naslovom:

“Slabe bisimulacijske igre za Verbruggeinu semantiku”.

Sažetak: Ovaj seminar je nastavak seminara prof. Perkova pod nazivom "Problemi s karakterističnim formulama za bisimulacijske igre za IL". Prvo ćemo kratko ponoviti definiciju w-bisimulacije te istaknuti osnovne činjenice o njoj. Zatim definiramo slabe bisimulacijske (ili w-bisimulacijske) igre, te njihove "konačne aproksimacije" --- n-w-bisimulacijske igre. Pokazati ćemo da je w-bisimuliranost dvaju svjetova ekvivalentna postojanju pobjedničke strategije branitelja u w-bisimulacijskoj igri iz konfiguracije koju čine ta dva svijeta. Konačno, korištenjem tih igara pokazat ćemo da, u slučaju konačnog skupa propozicionalnih varijabli, n-modalna ekvivalencija dvaju svjetova povlači njihovu w-bisimuliranost.

Predavanje će se moći pratiti i online.

Zoom link: https://zoom.us/j/97325200710?pwd=b2g1ZCtSTjk1dmRQZVVYWTUwOFdMZz09