Seminar za matematičku logiku i osnove matematike
lokacija:
PMF Matematički odjel
vrijeme:
22.03.2010 - 17:15 - 19:00 U sklopu Seminara za matematičku logiku i osnove matematike, u ponedjeljak 22. ožujka 2010. u 17:15, u predavaonici 105 PMF-MO (zbog radova), Domagoj Vrgoč će održati predavanje pod naslovom
Teorija modela za logike interpretabilnosti I: Veltmanovi modeli (2)
Promatramo logiku interpretabilnosti kao modalni sistem i proučavamo najznačajnije modalne semantike. Govorit ćemo o Veltmanovim modelima i konačnim bisimulacijama, te pokazati da su one ekvivalentne s konačnom ekvivalencijom. Također uvodimo i bisimulacijske igre, te pokazujemo da su sva tri pristupa ekvivalentna.
