Luka Mikec/research

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


Papers and preprints (original work)

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




PhD thesis

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




Book chapters

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




Short papers

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




Talks (original work)

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




Talks (non-original work)

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