Seminar za matematičku logiku i osnove matematike
lokacija:
PMF Matematički odsjek (virtualno)
vrijeme:
11.09.2023 - 17:15 - 19:00
Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 11. rujna 2023. godine u 17:15 sati (online),
Stipe Marić će održati predavanje
Filtracija i bisimulacijski kvocijent u inkvizitivnoj modalnoj logici
Sažetak: Na seminaru će se definirati filtracija u inkvizitivnoj modalnoj logici i pokazati da inkvizitivna modalna logika ima svojstvo konačnih modela iz čega će slijediti odlučivost te logike. Nadalje, definirat će se bisimulacija i bisimulacijski kvocijent te pokazati da su dva modela globalno bisimulirana ako i samo ako su im bisimulacijski kvocijenti izomorfni.
Zoom link: https://zoom.us/j/97325200710?pwd=b2g1ZCtSTjk1dmRQZVVYWTUwOFdMZz09
