Učitavanje video playera...
01:27:00
Tin Perkov: Transformacija Verbruggeinog modela u njemu bis. Veltmanov model
Bisimulacija je relacija među modalnim modelima. Prirodno je promatrati bisimulacije među istovrsnim strukturama, no u ovom radu razmatraju se bisimulacije među različitim strukturama, koje se odnose na različite semantike logike interpretabilnosti. Verbruggein model bitno je složenija struktura od Veltmanovog modela. Ipak, dani Verbruggein model može se transformirati u Veltmanov model s kojim je u pogodno definiranoj bisimulaciji, koja je zapravo analogon w-bisimulacije među Verbruggeinim modelima.
