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
Slika profila

Luka Mikec

34284

Luka

Mikec

dr. sc.

Naziv Uloga Akcije
Formalno rasuđivanje i semantike vanjski suradnik
Izračunljive strukture, odlučivost i složenost suradnik
Naziv Akcije
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
nije evidentirano
nije evidentirano