Seminar za matematičku logiku i računarstvo

Na zajedničkom sastanku Seminara za teorijsko računarstvo te Seminara za matematičku logiku i osnove matematike, u ponedjeljak 9. rujna 2024. godine u 17:15 sati, u predavaonici 201 (PMF-MO), Teo Šestak će održati predavanje

Opći okviri logika interpretabilnosti

Sažetak: Logika interpretabilnosti IL je proširenje logike dokazivosti GL. Kao što formule GL interpretiramo na Kripkeovim okvirima, formule IL interpretiramo na Veltmanovim okvirima. Poznato je da je logika IL slabo potpuna, no ne i jako potpuna, obzirom na klasu svih Veltmanovih okvira. Slično kao analogan problem za GL, to je posljedica Löbovog aksioma i činjenice da on definira klasu tranzitivnih i inverzno dobro utemeljenih okvira. Taj problem je moguće riješiti tzv. općim okvirima, definiranima slično kao u slučaju Kripkeovih okvira, no s malim modifikacijama. Ako uzmemo u obzir tu klasu okvira, tada dobivamo i jaku potpunost.

Obavijest: Na zahtjev voditelja Seminara za matematičku logiku i osnove matematike i Seminara za teorijsko računarstvo, odlukom Vijeća doktorskog studija, s početkom ak. god. 2024./2025. dva navedena seminara se spajaju te se novi seminar zove Seminar za matematičku logiku i računarstvo.