Pregled po CROSBI profilu: Mladen Vuković (CROSBI Profil: 29749, MBZ: 123054)
Pronađeno 68 radova
-
1.Horvat, Sebastijan; Perkov, Tin; Vuković, MladenA new notion of bisimulations of Verbrugge semantics // Abstracts 7th Croatian Mathematical Congress
Split, Hrvatska, 2022. str. 44-45 (predavanje, sažetak, znanstveni) -
2.Horvat, Sebastijan; Perkov, Tin; Vuković, MladenA good method of transforming Veltman into Verbrugge models // Logic and Applications 2022 Book of Abstracts
Dubrovnik, Hrvatska, 2022. str. 22-23 (predavanje, sažetak, znanstveni) -
3.Horvat, Sebastijan; Perkov, Tin; Vuković, Mladenn-bisimulations for generalised Veltman semantics // Logic and Applications 2021 Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 31-32 (predavanje, sažetak, znanstveni) -
4.Jambriško, Petra; Vuković, MladenJedan neobičan dokaz // Matematičko fizički list, 71 (2021), 281; 18-22 (recenziran, članak, stručni)
-
5.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)
-
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.Krunić, JakovLindströmov teorem za modalnu logiku, 2020., diplomski rad, Prirodoslovno-matematički fakultet- Matematički odsjek, Zagreb
-
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; 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) -
10.Babić, TinMetoda tableauxa za modalnu logiku, 2018., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
-
11.Horvat, SebastijanModalna potpunost logika interpretabilnosti, 2018., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
-
12.Vuković, Milana; Vuković, MladenRješavanje logičkih zadataka metodom semantičkih stabala // Matematika i škola, 19 (2018), 94; 158-165 (recenziran, članak, stručni)
-
13.Gregorek, Petar; Vuković, MladenNeprebrojivost skupa transcendentnih brojeva // Matematičko fizički list, 272 (2018), 4; 222-227 (članak, stručni)
-
14.Gregorek, Petar; Vuković, MladenPrebrojivi skupovi // Matematičko fizički list, 271 (2018), 3; 152-157 (članak, stručni)
-
15.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) -
16.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)
-
17.Kiršek, FilipSkupovne interpretacije modalne logike, 2016., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
-
18.Mikec, LukaTopološka potpunost logika dokazivosti, 2016., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
-
19.Rožić, Lovro; Šnajder, Jan; Vuković, MladenLambda račun kao osnova funkcijskog programiranja // Math.e, 29 (2016), 1-10 (podatak o recenziji nije dostupan, članak, stručni)
-
20.Perkov, Tin; Vuković, MladenFiltrations of generalized Veltman models // Mathematical logic quarterly, 62 (2016), 4/5; 412-419 doi:10.1002/malq.201500030 (međunarodna recenzija, članak, znanstveni)
-
21.Gavran, Ivan; Vuković, MladenLogička analiza hibridnih sustava // Poučak : časopis za metodiku i nastavu matematike, 15 (2014), 58; 4-16 (podatak o recenziji nije dostupan, članak, stručni)
-
22.Čačić, Vedran; Vuković, MladenInterpretability logic IL does not have finite subtree property // Rad Hrvatske akademije znanosti i umjetnosti. Razred za matematičke, fizičke i kemijske znanosti. Matematičke znanosti, 18=519 (2014), 1-5 (podatak o recenziji nije dostupan, članak, znanstveni)
-
23.Perkov, Tin; Vuković, MladenA bisimulation characterization for interpretability logic // Logic journal of the igpl, 22 (2014), 6; 872-879 doi:10.1093/jigpal/jzu015 (međunarodna recenzija, članak, znanstveni)
-
24.Perkov, TinModalna definabilnost i teoremi očuvanja u modalnoj logici, 2012., doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb
-
25.Perkov, Tin; Vuković, MladenSome characterization and preservation theorems in modal logic // Annals of pure and applied logic, 163 (2012), 12; 1928-1939 doi:10.1016/j.apal.2012.07.001 (međunarodna recenzija, članak, znanstveni)
