Seminar za matematičku logiku i osnove matematike
Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 14. lipnja 2021. u 17:15 sati,
Sebastijan Horvat će održati predavanje
Sažetak: n-bisimulacije proučavane su za Kripkeove modele te Veltmanove modele. Dat ćemo definiciju n-bisimulacije za generaliziranu Veltmanovu semantiku. Jednostavnom indukcijom pokazuje se da n-bisimuliranost povlači n-ekvivalentnost.
Međutim obrat te tvrdnje ne vrijedi. Poznati su protuprimjeri za Veltmanovu semantiku, pa ćemo pokazati da se ti Veltmanovi modeli mogu pretvoriti u generalizirane modele tako da se čuva n-bisimuliranost (čime dobivamo traženi protuprimjer za generaliziranu Veltmanovu semantiku). Definirat ćemo i bisimulacijske igre za generaliziranu Veltmanovu semantiku (poznat je pojam bisimulacijskih igara za Kripkeovu i Veltmanovu semantiku).
Podaci za online praćenje preko Zoom platforme: