Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
Mikec, Luka
Complexity of the interpretability logics ILW and ILP // Logic journal of the igpl, 31 (2023), 1; 194-213. doi: 10.1093/jigpal/jzac042
Goris, Evan ; Bílková, Marta ; Joosten, Joost J. ; Mikec, Luka
Theory and application of labelling techniques for interpretability logics // Mathematical logic quarterly, 68 (2022), 3; 352-374. doi: 10.1002/malq.202200015
Perkov, Tin ; Mikec, Luka
Tableau-based translation from first-order logic to modal logic // Reports on Mathematical Logic, 56 (2021), 57-74. doi: 10.4467/20842589RM.21.006.14375
Perkov, Tin ; Mikec, Luka
Existential definability of modal frame classes // Mathematical logic quarterly, 66 (2020), 316-325. doi: 10.1002/malq.201900061
Mikec, Luka ; Vuković, Mladen
Interpretability logics and generalised veltman semantics // The Journal of symbolic logic, 85 (2020), 2; 749-772. doi: 10.1017/jsl.2020.7
Mas Rovira, Jan ; Mikec, Luka ; Joosten, Joost J.
Generalised Veltman semantics in Agda // Short Papers Advances in Modal Logic 2020. 2020. str. 86-90
Mikec, Luka ; Joosten, Joost J. ; Vuković, Mladen
A W-flavoured series of interpretability principles // Short Papers Advances in Modal Logic 2020. 2020. str. 60-64
Mikec, Luka ; Pakhomov, Fedor ; Vuković, Mladen
Complexity of the interpretability logic IL // Logic journal of the igpl, 27 (2019), 1; 1-7. doi: 10.1093/jigpal/jzy015
Mikec, Luka ; Perkov, Tin
Existentially valid formulas corresponding to some normal modal logics // Advances in Modal Logic 2018, Booklet of Short Papers. Bern, 2018. str. 76-80
Mikec, Luka ; Pakhomov, Fedor ; Vuković, Mladen
Complexity of the interpretability logic IL // Logic and Applications 2018 Book of Abstracts. 2018. str. 54-55