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

(2022) Luka Mikec; **Complexity of the interpretability logics ILW and ILP**, Logic Journal of the IGPL.

(2021) Tin Perkov, Luka Mikec; **Tableau-based translation from first-order logic to modal logic**, Reports on Mathematical Logic.

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

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

(2021) Luka Mikec; **On Logics and Semantics for lnterpretability**, doctoral thesis (University of Barcelona and University of Zagreb, cotutelle). Supervisors: Joost J. Joosten and Mladen Vuković. Submitted December 2020, defended April 2021.

(2021) Joost J. Joosten, Jan Mas Rovira, Luka Mikec, Mladen Vuković; **An overview of Generalised Veltman Semantics**, Dick de Jongh on Intuitionistic and Provability Logic, Outstanding Contributions to Logic.

(2020) Joost J. Joosten, Luka Mikec, Mladen Vuković; ** A W-flavoured series of interpretability principles**, Short paper, AiML 2020, Helsinki.

(2020) Joost J. Joosten, Jan Mas Rovira, Luka Mikec; **Generalised Veltman semantics in Agda**, Short paper, AiML 2020, Helsinki.

(2018) Luka Mikec, Tin Perkov; **Existentially valid formulas corresponding to some normal modal logics**, Slides (in English), Short paper, AiML 2018, Bern.

(2021) Joost J. Joosten, Luka Mikec, Albert Visser, Mladen Vuković; **On proving interpretability principles arithmetically sound**, Logic and Applications, Dubrovnik.

(2020) Luka Mikec; **Adequate sets for interpretability logics**, Seminar for mathematical logic and foundations of mathematics, Department of Mathematics, Zagreb.

(2020) Joost J. Joosten, Luka Mikec, Mladen Vuković; **On ILWR-frames**, Logic and Applications, Dubrovnik. Recording.

(2020) Luka Mikec; **Completeness of some extensions of the logic ILW**, Seminar for mathematical logic and foundations of mathematics, Department of Mathematics, Zagreb.

(2020) Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec, Mladen Vuković; **Syntax, semantics and labellings for interpretability logic**, Seminari Cuc, Seminar on Proof Theory and Foundations of Mathematics, University of Barcelona.

(2019) Luka Mikec; **On proving the logic ILMS complete**, Seminar for mathematical logic and foundations of mathematics, Department of Mathematics, Zagreb.

(2019) Luka Mikec; **On logics and semantics for interpretability**, Seminar for mathematical logic and foundations of mathematics, Department of Mathematics, Zagreb.

(2019) Luka Mikec, Fedor Pakhomov, Mladen Vuković; **Complexity of interpretability logics**, Workshop on Proof Theory, Modal Logic and Reflection Principles ("Wormshop"), Barcelona. Slides (in English).

(2019) Luka Mikec, Mladen Vuković; **Completeness w.r.t. generalised Veltman semantics**, Seminari Cuc, Seminar on Proof Theory and Foundations of Mathematics, University of Barcelona.

(2019) Luka Mikec; **Techniques and results concerning relationships between modal ∃-logics**, FORMALS workshop, Zagreb.

(2019) Luka Mikec, Mladen Vuković; **Completeness of the logic ILW**, Seminar for mathematical logic and foundations of mathematics, Department of Mathematics, Zagreb.

(2019) Luka Mikec; **Natural deduction in highschool logic (part 2)**, AZOO workshop, Zagreb. Notes (in Croatian).

(2018) Luka Mikec; **Natural deduction in highschool logic (part 1)**, AZOO workshop, Zagreb. Notes (in Croatian).

(2018) Luka Mikec, Fedor Pakhomov, Mladen Vuković; **Complexity of the interpretability logic IL**, Logic and Applications, Dubrovnik. Slides (in English).

(2018) Luka Mikec, Mladen Vuković; **The modal completeness of ILR**, Seminar for mathematical logic and foundations of mathematics, Department of Mathematics, Zagreb.

(2018) Luka Mikec; **Exercises in highschool logic**, AZOO workshop, Zagreb. Slides (in Croatian).

(2018) Luka Mikec, Mladen Vuković; **PSPACE-decidability of the interpretability logic IL**, Seminar for mathematical logic and foundations of mathematics, Department of Mathematics, Zagreb.

(2017) Luka Mikec, Tin Perkov, Mladen Vuković; **Decidability and complexity of some interpretability logics**, Logic and Applications, Dubrovnik. Slides (in English).

(2017) Luka Mikec, Tin Perkov, Mladen Vuković; **Decidability of some interpretability logics**, Seminari Cuc, Seminar on Proof Theory and Foundations of Mathematics, University of Barcelona. Slides (in English).

(2018) Luka Mikec; **The modal completeness of ILP**, Seminar for mathematical logic and foundations of mathematics, Department of Mathematics, Zagreb.

(2016) Luka Mikec; **Topological completeness of polymodal provability logic**, Seminar for mathematical logic and foundations of mathematics, Department of Mathematics, Zagreb. Slides (in Croatian): Part 1, Part 2.

(2015) Luka Mikec; **Topological interpretation of the system GL**, Seminar for mathematical logic and foundations of mathematics, Department of Mathematics, Zagreb. 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.