Luka Mikec/research

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


Papers (original work)

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

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

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