| 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 | 41 | 2014 |
| 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 | 21 | 2017 |
| Interpretability logics and generalised Veltman semantics L Mikec, M Vuković The Journal of Symbolic Logic 85 (2), 749-772, 2020 | 20 | 2020 |
| Complexity of the interpretability logic IL L Mikec, F Pakhomov, M Vuković Logic Journal of the IGPL, 2018 | 10 | 2018 |
| On Logics and Semantics for Interpretability L Mikec application/pdf, 2021 | 6 | 2021 |
| A W-flavoured series of interpretability principles L Mikec, JJ Joosten, M Vukovic Short Papers Advances in Modal Logic AiML 2020, 60, 2020 | 5 | 2020 |
| Complexity of the interpretability logics ILW and ILP L Mikec Logic Journal of the IGPL 31 (1), 194-213, 2023 | 3 | 2023 |
| 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 | 3 | 2022 |
| Existential definability of modal frame classes T Perkov, L Mikec Mathematical Logic Quarterly 66 (3), 316-325, 2020 | 2 | 2020 |
| 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 | 1 | 2021 |
| Existentially valid formulas corresponding to some normal modal logics L Mikec, T Perkov Short Papers, Advances in Modal Logic, AiML 2018, 76-80, 2018 | 1 | 2018 |
Tin PerkovUniversity of Zagreb Faculty of Teacher Education, Chair of Mathematics and StatisticsVerified email at ufzg.unizg.hr
