Error loading media: File could not be played
 
00:0000:0000:00
00:00
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.
Objavljeno: 19.09.2023
Unutar kategorije: Obrazovanje
VoD paketi: LORA