Transformacija Verbruggeinog modela u njemu bisimulirani Veltmanov model

 

Sažetak: 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.