Seminar za matematičku logiku i osnove matematike

Lokacija: 
PMF Matematički odsjek
Vrijeme: 
Ponedjeljak, 20 Svibanj, 2019 - 17:00
Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 20. svibnja 2019. u 17 sati, u predavaonici 105, PMF-MO, Luka Mikec će održati predavanje
 
Potpunost logike ILW
 
Sažetak: Ovo je nastavak seminara o potpunosti nekih logika u odnosu na generaliziranu Veltmanovu semantiku. Proći ćemo dokaz za logiku ILW i neka njena proširenja.
 
Predavanje se može pratiti i on-line na sljedećoj adresi: https://meduza.carnet.hr/index.php/media/watch/11640.
Go to top