Sebastijan Horvat: n-bisimulacije za generaliziranu Veltmanovu semantiku
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).