Učitavanje video playera...
00:27:18
Teo Šestak: Kanonski 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. Za razliku od normalnih modalnih logika, za koje u Kripkeovoj semantici možemo konstruirati kanonske modele, to nije slučaj s logikama interpretabilnosti i Veltmanovom semantikom. Međutim, prelaskom na tzv. opće okvire, možemo konstruirati slične modele. Pomoću tih konstrukcija možemo dokazati i teorem (jake) potpunosti.
Objavljeno: 26.01.2025
Unutar kategorije: Obrazovanje
VoD paketi: LORA