Učitavanje video playera...
01:13:13
Stipe Marić: Bisimulacija u inkvizitivnoj modalnoj logici
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.
