Teaching-related information (PMF—MO) (in Croatian).
(2020) 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.
(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.
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.
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).
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).