Na Seminaru za matematičku logiku i računarstvo, u ponedjeljak 25. studenoga 2024. u 17:15 sati, u predavaonici 201 (PMF-MO),

Stipe Marić će održati predavanje

 

Svojstvo konačnih modela i odlučivost inkvizitivne modalne logike i njenih proširenja

 

Ovo predavanje ujedno je i obrana teme doktorske disertacije.

 

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