Metoda selekcije za logiku interpretabilnosti IL s obzirom na Verbruggeinu semantiku

 

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