Luka Mikec

According to our database, Luka Mikec authored at least 11 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Correction to: Decidability of interpretability logics IL <tt>M</tt>0 and IL <tt>W</tt>.

Luka Mikec, Tin Perkov, Mladen Vukovic

Log. J. IGPL, 2024

2023

Complexity of the interpretability logics ILW and ILP.

Luka Mikec

Log. J. IGPL, January, 2023

2022

Theory and application of labelling techniques for interpretability logics.

Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec

Math. Log. Q., 2022

On Logics and Semantics for Interpretability.

Luka Mikec

Bull. Symb. Log., 2022

2021

On Logics and Semantics for Interpretability.

Luka Mikec

PhD thesis, 2021

Tableau-based translation from first-order logic to modal logic.

Tin Perkov, Luka Mikec

Reports Math. Log., 2021

2020

Existential definability of modal frame classes.

Tin Perkov, Luka Mikec

Math. Log. Q., 2020

Interpretability Logics and generalised Veltman Semantics.

Luka Mikec, Mladen Vukovic

J. Symb. Log., 2020

2019

Complexity of the interpretability logic IL.

Luka Mikec, Fedor Pakhomov, Mladen Vukovic

Log. J. IGPL, 2019

2017

Decidability of interpretability logics ILM0 and ILW.

Luka Mikec, Tin Perkov, Mladen Vukovic

Log. J. IGPL, 2017

2014

Movie posters classification into genres based on low-level features.

Marina Ivasic-Kos, Miran Pobar, Luka Mikec

Proceedings of the 37th International Convention on Information and Communication Technology, 2014