Sebastijan Horvat: Metoda selekcije za IL s obzirom na Verbruggeinu semantiku
Svojstvo konačnih modela je ključan korak u dokazivanju odlučivosti modalnih logika. Dva načina za dokazivanje svojstva konačnih modela su metoda selekcije i metoda filtracije. Metoda filtracije korištena je kako bi se dokazalo svojstvo konačnih modela logike interpretabilnosti IL te nekih njenih proširenja s obzirom na Verbruggeinu semantiku. Na seminaru ćemo prikazati dokaz da logika interpretabilnosti IL ima svojstvo konačnih modela s obzirom na Verbruggeine modele upotrebom metode selekcije. Istaknut ćemo prednosti ali i nedostatke metode selekcije u odnosu na metodu filtracije.