Seminar za matematičku logiku i osnove matematike

lokacija: 
PMF Matematički odsjek
vrijeme: 
16.12.2019 - 17:00 - 19:00

Na Seminaru za matematičku logiku i osnove matematike,

u ponedjeljak 16. prosinca 2019. u 17 sati, u predavaonici 105, PMF-MO

Luka Mikec će održati predavanje

Logika ILMS

SažetakU diplomskom radu Paule Henk (Supremum in the Lattice of Interpretability) definirana je logika ILMS, proširenje logike ILM novom shemom S. U određenom smislu ne postoji adekvatno proširenje obične Veltmanove semantike za ILMS. No protuprimjer iz spomenutog rada nije protuprimjer u generaliziranoj semantici, što otvara mogućnost za drugačiju relacijsku semantiku.

Predavanje se može pratiti i on-line na sljedećoj adresi: https://meduza.carnet.hr/index.php/media/watch/11640.

 

Share this