Učitavanje video playera...
00:38:53
Teo Šestak: Opći okviri logika interpretabilnosti
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.
