Teaching-related information (PMF-MO) (in Croatian).
(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.
18th June 2019, Techniques and results concerning relationships between modal ∃-logics. (Short presentation at the FORMALS workshop).
16th February 2019, Natural deduction in highschool logic (part 2). Notes (in Croatian).
6th October 2018, Natural deduction in highschool logic. Notes (in Croatian).
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 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).
26th March 2018, SLOM, PMF-MO, Zagreb: The modal completeness of ILP (step-by-step method by J. Joosten and E. Goris).