Error loading media: File could not be played
00:49:04
Helena Maciuš: Hennessy-Milnerov teorem za topološku semantiku
Hennessy-Milnerov teorem za topološku semantiku osnovne modalne logike i logike interpretabilnosti
Bisimulacija je osnovna ekvivalencija modela u modalnoj logici. Iako bisimuliranost povlači modalnu ekvivalenciju, obrat općenito ne vrijedi. U slučaju topoloških bisimulacija za osnovnu modalnu logiku, dokazano je da obrat vrijedi u slučaju konačnih topoloških modela.
Dokazat ćemo da obrat vrijedi i uz slabiju pretpostavku, tj. da obrat vrijedi u slučaju lokalno konačnih topoloških modela, te da postoji 1-1 korespondencija između lokalno konačnih topologija te slikovno konačnih Kripkeovih okvira. Također ćemo definirati bisimulacije za topološku semantiku logike interpretabilnosti te dokazati analogon Hennessy-Milnerovog teorema.
Srodni zapisi
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
