Luka Mikec/updates

Teaching page (in Croatian).

Papers (original work)

(2018) Luka Mikec, Fedor Pakhomov, Mladen Vuković; Complexity of the interpretability logic IL, Logic Journal of the IGPL.

(2017) Luka Mikec, Tin Perkov, Mladen Vuković; Decidability of interpretability logics ILM0 and ILW*, Logic Journal of the IGPL.




Talks (original work)

6th October 2018, Natural deduction in highschool logic. Notes (in Croatian).

27th September 2018, Logic and Applications, Dubrovnik: Complexity of the interpretability logic IL. Slides (in English).

27th August 2018, AiML 2018, Bern: Existentially valid formulas corresponding to some normal modal logics. Slides (in English), Short paper.

9th April 2018, SLOM, PMF-Mo, Zagreb: The modal completeness of ILR.

17th March 2018, Exercises in highschool logic. Slides (in Croatian).

9th and 16th October 2017, SLOM, PMF-Mo, Zagreb: PSPACE-decidability of the interpretability logic IL.

19th September 2017, Logic and Applications, Dubrovnik: Decidability and complexity of some interpretability logics. Slides (in English).

19th April 2017, Seminari Cuc, Seminar on Proof Theory and Foundations of Mathematics, Barcelona: Decidability of some interpretability logics (decidability of ILM0 and ILW*). Slides (in English).




Talks (non-original work)

26th March 2018, SLOM, PMF-Mo, Zagreb: The modal completeness of ILP (step-by-step method by J. Joosten and E. Goris).

21th November 2016, SLOM, PMF-Mo, Zagreb: Topological completeness of polymodal provability logic (2) (material from this paper). Slides (in Croatian).

14th November 2016, SLOM, PMF-Mo, Zagreb: Topological completeness of polymodal provability logic (1) (material from this paper). Slides (in Croatian).

5th October 2015, SLOM, PMF-Mo, Zagreb: Topological interpretation of system GL (provability logic, Blass' completeness theorem, failure of local compactness). Handout (in Croatian).