Follow
Luka Mikec
Luka Mikec
Department of Mathematics, Faculty of Science, University of Zagreb
Verified email at math.hr - Homepage
Title
Cited by
Cited by
Year
Movie posters classification into genres based on low-level features
M Ivasic-Kos, M Pobar, L Mikec
2014 37th International Convention on Information and Communication …, 2014
392014
Interpretability logics and generalised Veltman semantics
L Mikec, M Vukoviĉ
The Journal of Symbolic Logic 85 (2), 749-772, 2020
172020
Decidability of interpretability logics IL M 0 and IL W
L Mikec, T Perkov, M Vukoviĉ
Logic Journal of the IGPL 25 (5), 758-772, 2017
172017
Complexity of the interpretability logic IL
L Mikec, F Pakhomov, M Vukoviĉ
Logic Journal of the IGPL, 2018
92018
On Logics and Semantics for Interpretability
L Mikec
application/pdf, 2021
52021
A W-flavoured series of interpretability principles
L Mikec, JJ Joosten, M Vukovic
Short Papers Advances in Modal Logic AiML 2020, 60, 2020
42020
Theory and application of labelling techniques for interpretability logics
E Goris, M Bílková, JJ Joosten, L Mikec
Mathematical Logic Quarterly 68 (3), 352-374, 2022
32022
Complexity of the interpretability logics ILW and ILP
L Mikec
Logic Journal of the IGPL 31 (1), 194-213, 2023
22023
Existential definability of modal frame classes
T Perkov, L Mikec
Mathematical Logic Quarterly 66 (3), 316-325, 2020
22020
Generalised Veltman Semantics in Agda
JM Rovira, L Mikec, JJ Joosten
Short Papers, Advances in Modal Logic, AiML 2020, 86-90, 2020
2*2020
Tableau-based translation from first-order logic to modal logic
T Perkov, L Mikec
Reports on Mathematical Logic 2021 (56), 57-74, 2021
12021
Existentially valid formulas corresponding to some normal modal logics
L Mikec, T Perkov
Short Papers, Advances in Modal Logic, AiML 2018, 76-80, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–12