Seminar za matematičku logiku i računarstvo

Na Seminaru za matematičku logiku i računarstvo, u ponedjeljak 6. listopada 2025. u 17:15 sati, u predavaonici 201, PMF-MO, Teo Šestak održat će predavanje 

Algebarska semantika za logike interpretabilnosti

Sažetak: Logika interpretabilnosti IL proširuje logiku dokazivosti GL. Osnovna semantika za IL je Veltmanova semantika. Poznato je da je logika IL potpuna u odnosu na Veltmanovu semantiku, ali isto se ne može reći za njezina proširenja, od kojih su neka dokazano nepotpuna.

U ovom izlaganju definirat ćemo novu klasu Booleovih algebri koje se mogu koristiti za modeliranje logika interpretabilnosti. Ove algebre na prirodan način proširuju modalne algebre i mogu se smatrati generalizacijama Veltmanovih okvira. Dodatno, svako konzistentno proširenje IL adekvatno je i potpuno obzirom na ovu semantiku.