Učitavanje video playera...
00:39:11
Stipe Marić: Svojstvo kon. modela i odlučivost inkv. mod. logike i njenih proš.
Na prezentaciji teme doktorske disertacije prvo ćemo dati motivaciju za uvođenje inkvizitivne modalne logike, nakon čega ćemo iskazati njena osnovna svojstva i prikazati dosadašnje rezultate. Nakon toga ćemo razmatrati pojam bisimulacije i definirati bisimulacijski kvocijent nekog modela. Nadalje, cilj nam je dokazati da inkvizitivna modalna logika ima svojstvo konačnih modela i da je odlučiva. Planiramo koristiti dvije poznate metode: metodu selekcije i metodu filtracije. Štoviše, želimo pokazati da i neka proširenja inkvizitivne modalne logike imaju svojstvo konačnih modela i da su odlučiva. Na kraju ćemo razmatrati inkvizitivnu okolinsku logiku, pri čemu slične rezultate planiramo pokazati i za ovu logiku.
