Seminar za matematičku logiku i osnove matematike
lokacija:
PMF Matematički odsjek (virtualno)
vrijeme:
30.01.2023 - 17:00 - 19:00 Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 30. siječnja 2023. godine u 17 sati (online),
Stipe Marić će održati predavanje
Bisimulacija u inkvizitivnoj modalnoj logici
Sažetak: Na seminaru će se definirati bisimulacija u inkvizitivnoj modalnoj logici InqML i dokazati Ehrenfeucht-Fraisseov teorem za tu logiku. Definirat će se relacijski inkvizitivni model koji omogućuje da se logika InqML promatra kao fragment logike prvog reda. Na kraju će se pokazati nad kojom je klasom modela logika InqML fragment logike prvog reda invarijantan na bisimulacije.