Teaching-related information (PMF—MO) (in Croatian).

(2020) Luka Mikec, Mladen Vuković; **Interpretability logics and generalised Veltman semantics**, The Journal of Symbolic Logic.

(2020) Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec; **Assuring and critical labels for relations between maximal consistent sets for interpretability logics**, preprint.

(2020) Tin Perkov, Luka Mikec; **Existential definability of modal frame classes**, Mathematical Logic Quarterly.

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

19th October 2020, SLOM, PMF—Mo, Zagreb: **Adequate sets for interpretability logics**.

22th September 2020, Logic and Applications, Dubrovnik: **On ILWR-frames**. Video.

26th August 2020, AiML 2020, Helsinki: ** A W-flavoured series of interpretability principles**. Short paper.

4th May 2020, SLOM, PMF—Mo, Zagreb: **Completeness of some extensions of the logic ILW** (discussion on the last two sections from a recent preprint).

28th February 2020, Seminari Cuc, Seminar on Proof Theory and Foundations of Mathematics, Barcelona: **Syntax, semantics and labellings for interpretability logic**.

16th December 2019, SLOM, PMF—Mo, Zagreb: **The logic ILMS**. (Some ideas on how to establish completeness)

9th December 2019, SLOM, PMF—Mo, Zagreb: **On logics and semantics for interpretability**.

7th November 2019, Wormshop 2019, Barcelona: **Complexity of interpretability logics**. Slides (in English).

30th October, 13th November 2019, Seminari Cuc, Seminar on Proof Theory and Foundations of Mathematics, Barcelona: **Completeness w.r.t. generalised Veltman semantics**.

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

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

Some old or less relevant papers and talks have been omitted; feel free to contact me if you're looking for something. Additional publications may be found on Google Scholar and CROSBI.