Učitavanje video playera...
00:56:43
Tin Perkov: Problemi s karakterističnim formulama za bis. igre za IL (2)
Na prvom predavanju prikazane su bisimulacije i bisimulacijske igre, kao i konačne aproksimacije ovih pojmova, za osnovnu modalnu logiku, te za Veltmanovu semantiku logike interpretabilnosti (IL). Na drugom predavanju bit će predstavljeni analogni pojmovi za generaliziranu semantiku za IL. Bit će prikazani problemi na koje nailazimo kad ideju korištenja karakterističnih formula koje izražavaju postojanje pobjedničke strategije u ovim igrama pokušavamo primijeniti na generaliziranoj semantici, kao i kako riješiti te probleme.
