Pregled po CROSBI profilu: Luka Mikec (CROSBI Profil: 34639, MBZ: 367013)
Pronađeno 15 radova
-
1.Mikec, LukaComplexity of the interpretability logics ILW and ILP // Logic journal of the igpl, 31 (2023), 1; 194-213 doi:10.1093/jigpal/jzac042 (međunarodna recenzija, članak, znanstveni)
-
2.Goris, Evan; Bílková, Marta; Joosten, Joost J.; Mikec, LukaTheory and application of labelling techniques for interpretability logics // Mathematical logic quarterly, 68 (2022), 3; 352-374 doi:10.1002/malq.202200015 (međunarodna recenzija, članak, znanstveni)
-
3.Perkov, Tin; Mikec, LukaTableau-based translation from first-order logic to modal logic // Reports on Mathematical Logic, 56 (2021), 57-74 doi:10.4467/20842589RM.21.006.14375 (međunarodna recenzija, članak, znanstveni)
-
4.Mikec, Luka; Vuković, MladenInterpretability logics and generalised veltman semantics // The Journal of symbolic logic, 85 (2020), 2; 749-772 doi:10.1017/jsl.2020.7 (međunarodna recenzija, članak, znanstveni)
-
5.Mas Rovira, Jan; Mikec, Luka; Joosten, Joost J.Generalised Veltman semantics in Agda // Short Papers Advances in Modal Logic 2020
Helsinki, Finska, 2020. str. 86-90 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni) -
6.Mikec, Luka; Joosten, Joost J.; Vuković, MladenA W-flavoured series of interpretability principles // Short Papers Advances in Modal Logic 2020
Helsinki, Finska, 2020. str. 60-64 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni) -
7.Perkov, Tin; Mikec, LukaExistential definability of modal frame classes // Mathematical logic quarterly, 66 (2020), 316-325 doi:10.1002/malq.201900061 (međunarodna recenzija, članak, znanstveni)
-
8.Mikec, Luka; Pakhomov, Fedor; Vuković, MladenComplexity of the interpretability logic IL // Logic journal of the igpl, 27 (2019), 1; 1-7 doi:10.1093/jigpal/jzy015 (međunarodna recenzija, članak, znanstveni)
-
9.Mikec, Luka; Perkov, TinExistentially valid formulas corresponding to some normal modal logics // Advances in Modal Logic 2018, Booklet of Short Papers
Bern, 2018. str. 76-80 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni) -
10.Mikec, Luka; Pakhomov, Fedor; Vuković, MladenComplexity of the interpretability logic IL // Logic and Applications 2018 Book of Abstracts
Dubrovnik, Hrvatska, 2018. str. 54-55 (predavanje, sažetak, znanstveni) -
11.Mikec, Luka; Perkov, Tin; Vuković, MladenDecidability and Complexity of Some Interpretability Logics // Book of Abstracts of the 6 th International Conference on Logic and Applications - LAP 2017
Dubrovnik, Hrvatska, 2017. str. 29-31 (predavanje, sažetak, znanstveni) -
12.Mikec, Luka; Perkov, TinTopološka semantika logika dokazivosti // Math.e, 32 (2017), 1; 38-52 (domaća recenzija, članak, stručni)
-
13.Mikec, Luka; Perkov, Tin; Vuković, MladenDecidability of interpretability logics ILM_0 and ILW* // Logic journal of the igpl, 25 (2017), 5; 758-772 doi:10.1093/jigpal/jzx027 (međunarodna recenzija, članak, znanstveni)
-
14.Mikec, LukaTopološka potpunost logika dokazivosti, 2016., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
-
15.Ivašić-Kos, Marina; Pobar, Miran; Mikec, LukaMovie posters classification into genres based on low-level features // Proceedings of the 37th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO) / Biljanović, Petar (ur.).
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2014. str. 1448-1453 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
