Seminar za matematičku logiku i osnove matematike

Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 18. rujna 2023. u 17:15 sati, u predavaonici 105, PMF-MO, Tin Perkov će održati predavanje:

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.

Zoom link: https://zoom.us/j/97325200710?pwd=b2g1ZCtSTjk1dmRQZVVYWTUwOFdMZz09