Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku

 

Seminar je ujedno i javna obrana teme doktorske disertacije.

 

Sažetak:

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.

 

Zoom link: https://zoom.us/j/97325200710?pwd=b2g1ZCtSTjk1dmRQZVVYWTUwOFdMZz09