1. Algebarska semantika za logike interpretabilnosti
Teo Šestak, 13. listopada 2025.
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.