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).