Pregled po CROSBI profilu: Mladen Vuković (CROSBI Profil: 29749, MBZ: 123054)

1.

Horvat, Sebastijan; Perkov, Tin; Vuković, Mladen

A 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ć, Mladen

A 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)

web.math.pmf.unizg.hr imft.ftn.uns.ac.rs iuc.hr

3.

Horvat, Sebastijan; Perkov, Tin; Vuković, Mladen

n-bisimulations for generalised Veltman semantics // Logic and Applications 2021 Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 31-32 (predavanje, sažetak, znanstveni)

www.google.com formals.ufzg.hr www.illc.uva.nl

4.

Jambriško, Petra; Vuković, Mladen

Jedan neobičan dokaz // Matematičko fizički list, 71 (2021), 281; 18-22 (recenziran, članak, stručni)

hrcak.srce.hr web.math.pmf.unizg.hr hrcak.srce.hr

5.

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 (međunarodna recenzija, članak, znanstveni)

doi www-cambridge-org.ezproxy.nsk.hr arxiv.org

6.

Mikec, Luka; Joosten, Joost J.; Vuković, Mladen

A 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)

www.helsinki.fi

7.

Krunić, Jakov

Lindströmov teorem za modalnu logiku, 2020., diplomski rad, Prirodoslovno-matematički fakultet- Matematički odsjek, Zagreb

urn.nsk.hr

8.

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 (međunarodna recenzija, članak, znanstveni)

doi academic.oup.com doi.org

9.

Mikec, Luka; Pakhomov, Fedor; Vuković, Mladen

Complexity of the interpretability logic IL // Logic and Applications 2018 Book of Abstracts
Dubrovnik, Hrvatska, 2018. str. 54-55 (predavanje, sažetak, znanstveni)

Pristup cjelovitom tekstu rada imft.ftn.uns.ac.rs imft.ftn.uns.ac.rs

10.

Babić, Tin

Metoda tableauxa za modalnu logiku, 2018., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb

urn.nsk.hr

11.

Horvat, Sebastijan

Modalna potpunost logika interpretabilnosti, 2018., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb

urn.nsk.hr

12.

Vuković, Milana; Vuković, Mladen

Rješavanje logičkih zadataka metodom semantičkih stabala // Matematika i škola, 19 (2018), 94; 158-165 (recenziran, članak, stručni)

mis.element.hr

13.

Gregorek, Petar; Vuković, Mladen

Neprebrojivost skupa transcendentnih brojeva // Matematičko fizički list, 272 (2018), 4; 222-227 (članak, stručni)

hrcak.srce.hr hrcak.srce.hr

14.

Gregorek, Petar; Vuković, Mladen

Prebrojivi skupovi // Matematičko fizički list, 271 (2018), 3; 152-157 (članak, stručni)

hrcak.srce.hr hrcak.srce.hr

15.

Mikec, Luka; Perkov, Tin; Vuković, Mladen

Decidability 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)

Pristup cjelovitom tekstu rada imft.ftn.uns.ac.rs pdfs.semanticscholar.org

16.

Mikec, Luka; Perkov, Tin; Vuković, Mladen

Decidability 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)

doi academic.oup.com doi.org

17.

Kiršek, Filip

Skupovne interpretacije modalne logike, 2016., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb

urn.nsk.hr

18.

Mikec, Luka

Topološka potpunost logika dokazivosti, 2016., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb

urn.nsk.hr

19.

Rožić, Lovro; Šnajder, Jan; Vuković, Mladen

Lambda račun kao osnova funkcijskog programiranja // Math.e, 29 (2016), 1-10 (podatak o recenziji nije dostupan, članak, stručni)

e.math.hr

20.

Perkov, Tin; Vuković, Mladen

Filtrations of generalized Veltman models // Mathematical logic quarterly, 62 (2016), 4/5; 412-419 doi:10.1002/malq.201500030 (međunarodna recenzija, članak, znanstveni)

doi onlinelibrary.wiley.com

21.

Gavran, Ivan; Vuković, Mladen

Logič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)

hrcak.srce.hr hrcak.srce.hr hrcak.srce.hr

22.

Čačić, Vedran; Vuković, Mladen

Interpretability 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ć, Mladen

A 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)

doi jigpal.oxfordjournals.org doi.org

24.

Perkov, Tin

Modalna definabilnost i teoremi očuvanja u modalnoj logici, 2012., doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb

25.

Perkov, Tin; Vuković, Mladen

Some 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)

doi www.sciencedirect.com www.sciencedirect.com dx.doi.org

26.

Čačić, Vedran; Vuković, Mladen

A note on normal form for closed fragment of system IL // Mathematical communications, 17 (2012), 1; 195-204 (podatak o recenziji nije dostupan, članak, znanstveni)

hrcak.srce.hr hrcak.srce.hr

27.

Vuković, Mladen

Primijenjena logika
Zagreb: PMF-Matematički odsjek, 2011

web.math.hr

28.

Vuković, Mladen

Složenost algoritama
Zagreb: PMF-Matematički odsjek, 2011

web.math.hr

29.

Čačić, Vedran

Normalne forme i svojstvo konačnih modela za logiku interpretabilnosti, 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb

30.

Vuković, Mladen

A note on ultraproducts of Veltman models // Glasnik matematički, 46(66) (2011), 7-10 (međunarodna recenzija, članak, znanstveni)

31.

Domagoj, Vrgoč; Mladen Vuković

Bisimulation quotients of Veltman models // Reports on Mathematical Logic, 46 (2011), 59-73 doi:10.4467/20842589RM.11.004.0282 (međunarodna recenzija, članak, znanstveni)

doi www.ejournals.eu

32.

Vuković, Mladen

Teorija skupova
Zagreb: PMF-Matematički odsjek, 2010

web.math.hr

33.

Vuković, Milana; Vuković, Mladen

U potrazi za skupovima // Poučak : časopis za metodiku i nastavu matematike, 11 (2010), 41; 61-69 (podatak o recenziji nije dostupan, članak, stručni)

34.

Novak, Andrej; Vuković, Mladen

Studij matematike u Zagrebu // Matematičko fizički list, 61 (2010), 1; 59-66 (podatak o recenziji nije dostupan, članak, stručni)

35.

Domagoj, Vrgoč, Mladen, Vuković

Bisimulations and bismulation quotients of generalized Veltman models // Logic journal of the igpl, 18 (2010), 6; 870-880 (međunarodna recenzija, članak, znanstveni)

36.

Vuković, Mladen

O aksiomu izbora, cipelama i čarapama // Poučak, 9 (2009), 39; 54-60 (podatak o recenziji nije dostupan, članak, stručni)

37.

Vuković, Mladen

Matematička logika
Zagreb: Element, 2009

38.

Vuković, Mladen

Izračunljivost
Zagreb: PMF-Matematički odjel, 2009

web.math.hr

39.

Bruckler, Franka, Miriam; Čačić, Vedran; Doko, Marko; Vuković, Mladen

Zbirka zadataka iz teorije skupova
Zagreb: PMF-Matematički odjel, 2008

www.math.pmf.unizg.hr

40.

Vuković, Mladen

Bisimulations between generalized Veltman models and Veltman models // Mathematical logic quarterly, 54 (2008), 4; 359-364 (međunarodna recenzija, članak, znanstveni)

41.

Strmečki, Tihana

Bisimulacije, 2007., diplomski rad, Prirodoslovno matematički fakultet - Matematički odsjek, Zagreb

Pristup cjelovitom tekstu rada

42.

Čačić, Vedran

Nezavisnost i relativna konzistentnost aksioma izbora i hipoteze kontinuuma, 2007., magistarski rad, Prirodoslovno-matematički fakultet, Zagreb

43.

Vuković, Mladen

Matematička logika 1
Zagreb: PMF-Matematički odjel, 2007

44.

Perkov, Tin

Sahlqvistove formule, 2006., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb

45.

Manger, Robert; Nogo, Goranka; Vuković, Mladen; Rosenzweig, Dean; Dalbelo-Bašić, Bojana

A New MSc Curriculum in Computer Science and Mathematics at the University of Zagreb // ITI 2006 Proceedings of the 28th International Conference on INFORMATION TECHNOLOGY INTERFACES / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.).
Zagreb: SRCE, University of Zagreb, 2006. str. 283-288 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

ieeexplore.ieee.org

46.

Vuković, Mladen

Some notes on correspondence theory of the system IL // Bulletin of Symbolic Logic, 12 (2006), 2. (međunarodna recenzija, članak, znanstveni)

47.

Vuković, Mladen

Hennessy-Milner theorem for interpretability logic // Bulletin of the Section of Logic, 34 (2005), 4; 195-202 (podatak o recenziji nije dostupan, članak, znanstveni)

48.

Vuković, Mladen

Matematička logika 1, treće dopunjeno i izmijenjeno izdanje / Manger, Robert (ur.).
Zagreb: PMF-Matematički odjel, 2004

49.

Vuković, Mladen

Generalized Veltman Models with a Root // Mathematical communications, 9 (2004), 1; 105-111 (podatak o recenziji nije dostupan, članak, znanstveni)

50.

Vuković, Mladen

Matematička indukcija i Goodsteinov teorem // Poučak : časopis za metodiku i nastavu matematike, 4 (2003), 13; 5-13 (podatak o recenziji nije dostupan, članak, stručni)

51.

Vuković, Mladen

A Note on Semantics of the Interpretability Logic IL(KW1) // Bulletin of the Section of Logic, 32 (2003), 3; 109-115 (podatak o recenziji nije dostupan, članak, znanstveni)

52.

Vuković, Mladen

Studij za nastavnika matematike na PMF-MO u Zagrebu // Zbornik radova šestog susreta nastavnika / Mladinić, Petar (ur.).
Zagreb: Hrvatsko matematičko društvo, 2002. str. 535-537 (pozvano predavanje, cjeloviti rad (in extenso), stručni)

53.

Vuković, Mladen

Some notes on generalized Veltman models // Bulletin of symbolic logic, 8 (2002), 3; 159-160 (podatak o recenziji nije dostupan, kongresno priopcenje, znanstveni)

54.

Vuković, Mladen

Neki osnovni pojmovi teorije skupova // Osječka matematička škola, 2 (2002), 1; 31-37 (podatak o recenziji nije dostupan, članak, stručni)

55.

Vuković, Mladen

Goedelovi teoremi nepotpunosti // Matematičko fizički list, 52 (2002), 2; 74-79 (podatak o recenziji nije dostupan, članak, stručni)

56.

Bruckler, Franka Miriam; Vuković, Mladen

Studij za nastavnika matematike u Njemačkoj // Matematika i škola, 3 (2002), 14; 181-184 (podatak o recenziji nije dostupan, članak, stručni)

57.

Vuković, Mladen

Matematička logika 1
Zagreb: PMF-Matematički odjel, 2000

58.

Vuković, Mladen

Interpretability logic and generalized Veltman models // The Bulletin of Symbolic logic, 6 (2000), 1. (podatak o recenziji nije dostupan, kongresno priopcenje, znanstveni)

59.

Vuković, Mladen

The principles of interpretability // Notre Dame Journal of Formal Logic, 40 (1999), 2; 227-235 (podatak o recenziji nije dostupan, članak, znanstveni)

60.

Vuković, Mladen

Characteristic classes and bisimulations of generalized Veltman models // Grazer Math. Berichte, 341 (1999), .; 7-16 (podatak o recenziji nije dostupan, članak, znanstveni)

61.

Štambuk-Giljanović, Nives; Vuković, Mladen

Vode Neretve, 1998. (podatak o recenziji nije dostupan, rukopis).

62.

Vuković, Mladen

Matematička logika u osnovnoj i srednjoj školi // Zbornik radova 4. susreta nastavnika matematike / Varošanec S., Mladinić P. (ur.).
Zagreb: Hrvatsko matematičko društvo, 1998. str. 285-295 (pozvano predavanje, cjeloviti rad (in extenso), stručni)

63.

Vuković, Mladen

The interpretability logic ILF // Mathematical Communications, 3 (1997), 2; 205-210 (podatak o recenziji nije dostupan, članak, znanstveni)

64.

Vuković, Mladen

Generalizirani Veltmanovi modeli, 1996., doktorska disertacija, PMF-Matematički odjel, Zagreb

65.

Vuković, Mladen

Some correspondences of principles in interpretability logic // Glasnik matematički, 31 (1996), 193-200 (podatak o recenziji nije dostupan, članak, znanstveni)

66.

Vuković, Mladen

Indirektni dokazi // Matematičko-fizički list, 172 (1993), 3-4; 113-122 (podatak o recenziji nije dostupan, članak, stručni)

67.

Vuković, Mladen

Matematičke teorije u jezicima drugog reda, 1990., magistarski rad, PMF-Matematički odjel, Zagreb

68.

Vuković, Mladen

Goedelovi rezultati o aritmetici, 1987., diplomski rad, PMF-Matematički odjel, Zagreb