Na Seminaru za matematičku logiku i računarstvo, u ponedjeljak 17. ožujka 2025. u 17:15 sati, u predavaonici 201, PMF-MO, 

Helena Marciuš održat će predavanje 

 

Hennessy-Milnerov teorem za topološku semantiku osnovne modalne logike i logike interpretabilnosti

 

Sažetak: 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.