Učitavanje video playera...
00:30:10
Sebastijan Horvat: Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku
Proučavamo bisimulacije i bisimulacijske igre za Verbruggeinu semantiku logike interpretabilnosti.
Prvo ćemo razmatrati bisimulacije i bisimulacijske igre koje su definirane ranije u literaturi, istaknuti njihova svojstva, ali i probleme s tim definicijama. Zatim ćemo dati novu definiciju bisimulacija i bisimulacijskih igara koje nazivamo slabe bisimulacije i slabe bisimulacijske igre. Cilj nam je pokazati da ti novi pojmovi zadržavaju sva dobra svojstva kao i bisimulacije i bisimulacijske igre, ali da vrijedi i više, tj. da uz ta svojstva nema problema koji su se javljali s ranijim definicijama.
U nastavku imamo namjeru izložiti nove definicije vezane uz alate koji se koriste pri dokazivanju teorema karakterizacije, a to su standardna translacija, te q-saturirano raspetljavanje.
Konačno, korištenjem prethodno uvedenih pojmova i dokazanih rezultata, pokušat ćemo dokazati analogon van Benthemovog teorema karakterizacije za logiku intepretabilnosti uz Verbruggeinu semantiku. Seminar je ujedno i javna obrana teme doktorske disertacije.
