Seminar za matematičku logiku i računarstvo

Na Seminaru za matematičku logiku i računarstvo, u ponedjeljak 2. prosinca 2024. u 17:15 sati, u predavaonici 201 (PMF-MO), Teo Šestak će održati predavanje

Kanonski 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. 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.

U sklopu ovog seminara Tin Perkov će održati predavanje "60 godina Seminara za matematičku logiku i osnove matematike".