Luka Mikec/research

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


Papers and preprints (original work)

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




Talks (original work)

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

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




Talks (non-original work)

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.