Seminar za matematičku logiku i osnove matematike
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žetak: U 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.