Seminar za matematičku logiku i osnove matematike

Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 4. rujna 2023. u 17:15 sati, u predavaonici 105, PMF-MO, Sebastijan Horvat će održati predavanje

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.

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