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).

20th May 2019, SLOM, PMF-Mo, Zagreb: **Completeness of the logic ILW** (w.r.t. generalized Veltman semantics). Slides (in Croatian).

16th February 2019, **Natural deduction in highschool logic (part 2)**. Notes (in Croatian).

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).

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).