Search

About employee

Mladen Vuković, Full Professor, PhD

Title: Full Professor
Location: A308
Public phone number:+385 1 460 5899
E-mail: E-mail
Official web page URL: https://www.pmf.unizg.hr/math/djelatnici/vukovic
Department: Division of Mathematical Logic and Computer Science

Teaching

undergraduate

graduate

doctoral

Other courses

Scientific publications (CroRIS)

Algoritmi za provjere modela u linearnoj temporalnoj logici

Đurđević, Andrija
2025.

Bisimulations and bisimulation games for Verbrugge semantics

Horvat, Sebastijan
2024.

Undecidable modal logics

Rak, Luka
2024.

Mikec, Luka; Perkov, Tin; Vuković, Mladen
2024.
Logic journal of the igpl

Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
2023.
Mathematical logic quarterly

Emergency situations in dementia

Bajan, Antun ; Vranjić, Petar ; Matijašić-Bodalec, Dubravka ; Smokrović, Eva ; Bajan, Nikola ; Mrzljak, Vlatka ; Vuković, Mladen ; Milostić- Srb, Andrea
2023.

Pasković, Nika
2023.

Alzheimer's dementia as an emergency

Bajan, Antun ; Vranjić, Petar ; Matijašić-Bodalec, Dubravka ; Smokrović, Eva ; Bajan, Nikola ; Mrzljak, Vlatka ; Vuković, Mladen ; Milostić- Srb, Andrea
2023.

Methods of interpretation, quasi-models and mosaics in proving decidability of modal logics

Sokolaj, Iva
2023.

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

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

Sokoban is NP-hard

Požgaj, Stjepan; Vuković, Mladen
2022.
Math.e

An unusual proof

Jambriško, Petra ; Vuković, Mladen
2021.
Matematičko fizički list

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

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

Lindström's theorem for modal logic

Krunić, Jakov
2020.

Mikec, Luka ; Vuković, Mladen
2020.
The Journal of symbolic logic

Žulj, Marinko ; Steiner, Kristina ; Seiner Srdarević, Sabina ; Vezmar, Ana Marija ; Vuković, Mladen ; Vranjić, Petar ; Tomić, Matej ; Peršić, Viktor ; Boban, Marko ; Balen, Sanja ; Krstačić, Antonija ; Krstačić, Goran ; Petrović, Đorđe ; Matijević, Marko ; Ivanišević, Zrinka ; Miloloza, Ivan ; Smajić, Elnur ; Steiner, Robert ; Mirat, Jure ; Včev, Aleksandar
2019.

Žulj Marinko ; Tomić Matej ; Vezmar Ana Marija ; Steiner Kristina ; Steiner Srdarević Sabina ; Vuković Mladen ; Vranjić Petar ; Malenica Luka ; Tadžić Amir ; Boban Marko ; Tadžić Refmir ; Kralik Kristina ; Krstačić Antonija ; Jakab Jelena ; Juranić Brankica ; Mikšić Štefica ; Krstačić Goran ; Steiner Robert ; Tepeš Bojan ; Balen Sanja ; Petrović Đorđe ; Včev Ačeksandar
2019.

Žulj, Marinko ; Vuković, Mladen ; Vranjić, Petar ; Tomić, Matej ; Steiner, Kristina ; Vezmar, Ana Marija ; Steiner Srdarević, Sabina ; Kralik, Kristina ; Jakab, Jelena ; Pezerović, Davorin ; Ivaniš, Nikola ; Smolić, Robert ; Viktor, Persic ; Smolić, Martina ; Tepeš, Bojan ; Tadžić, Refmir ; Krstačić, Antonija ; Boban, Marko ; Balen, Sanja ; Krstačić, Goran ; Steiner, Robert ; Včev, Aleksandar
2019.

Mikec, Luka ; Pakhomov, Fedor ; Vuković, Mladen
2019.
Logic journal of the igpl

Marinko, Zulj ; Matej, Tomic ; Ana Marija, Vezmar ; Mladen, Vukovic ; Petar, Vranjic ; Kristina, Steiner ; Sabina, Steiner Srdarevic ; Luka, Malenica ; Kristina, Kralik ; Jelena, Jakab ; Arijan, Tadzic ; Stefica, Miksic ; Brankica, Juranic ; Nikola, Volaric ; Antonija, Krstacic ; Marko, Boban ; Goran, Krstacic ; Sanja Balen ; Refmir, Tadzic ; Robert, Steiner ; Aleksandar, Vcev ;
2019.

Žulj, Marinko ; Steiner Kristina ; Steiner Srdarević, Sabina ; Tomić, Matej ; Vezmar, Ana Marija ; Vuković, Mladen ; Vranjić, Petar ; Boban Marko ; Tadžić, Refmir ; Matijević, Marko ; Ivanišević, Zrinka ; Štambuk, Krešimir ; Šesto, Igor ; Szavits-Nossan, Janko ; Volarić, Nikola ; Kralik, Kristina ; Krstačić, Antonija ; Krstačić, Goran ; Steiner, Robert ; Mirat, Jure ; Včev, Aleksandar
2019.

Steiner, Kristina ; Tomić, Matej ; Vezmar, Ana- Marija ; Vuković, Mladen ; Vranjić, Petar ; Steiner Srdarević, Sabina ; Žulj, Marinko ; Mirat, Jure ; Včev, Aleksandar
2019.

Modal completeness of interpretability logics

Horvat, Sebastijan
2018.

Uncountability of the Transcendental numbers

Gregorek, Petar ; Vuković, Mladen
2018.
Matematičko fizički list

Solving logical tasks by using semantical trees

Vuković, Milana ; Vuković, Mladen
2018.
MiŠ - Matematika i škola

Countable sets

Gregorek, Petar ; Vuković, Mladen
2018.
Matematičko fizički list

Tableaux method for modal logic

Babić, Tin
2018.

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

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

Žulj, Marinko ; Boban, Marko ; Jakab, Jelena ; Tovjanin, Bojan ; Šebo, Damir ; Korpar, Marina ; Tadžić, Arijan ; Tomić, Matej ; Vuković, Mladen ; Steiner, Kristina ; Vezmar, Anamarija ; Pezerović, Davorin ; Mihalj, Martina ; Ivaniš, Nikola ; Tadžić, Refmir ; Smolić, Martina ; Včev, Aleksandar
2017.

Žulj, Marinko ; Tomić, Matej ; Vezmar, Ana- Marija ; Steiner, Kristina ; Vuković, Mladen ; Steiner, Sabina ; Fenrich, Matija ; Jakab, Jelena ; Boban, Marko ; Včev, Aleksandar
2017.

Biochemical laboratory tests for inflammatory bowel disease from a whole blood sample with a focus on laboratory diagnosis of anemia - project overview

Žulj, Marinko ; Boban, Marko ; Steiner, Kristina ; Tomić, Matej ; Vuković, Mladen ; Vezmar, Ana-Marija ; Malenica, Luka ; Milas, Dijana ; Tadžić, Arijan ; Mikšić, Štefica ; Juranić, Brankica ; Jakab, Jelena ; Volarić, Nikola ; Steiner, Sabina ; Pezerović, Davorin ; Šebo, Damir ; Šerić, Vatroslav ; Stupnišek, Mirjana ; Tadžić, Refmir ; Ivaniš, Nikola ; Včev, Aleksandar
2017.

Mikec, Luka ; Perkov, Tin ; Vuković, Mladen
2017.
Logic journal of the igpl

Žulj, Marinko ; Steiner, Kristina ; Steiner, Sabina ; Tomić, Matej ; Vezmar, Ana-Marija ; Vuković, Mladen ; Fenrich, Matija ; Boban, Marko ; Včev, Aleksandar
2017.
Gastroenterolog

Lambda calculus as a base of functional programming

Rožić, Lovro ; Šnajder, Jan ; Vuković, Mladen
2016.
Math.e

Perkov, Tin ; Vuković, Mladen
2016.
Mathematical logic quarterly

Topological completeness of provability logics

Mikec, Luka
2016.

Set-theoretical interpretations of modal logic

Kiršek, Filip
2016.

Čačić, Vedran ; Vuković, Mladen
2014.
Rad Hrvatske akademije znanosti i umjetnosti. Razred za matematičke, fizičke i kemijske znanosti. Matematičke znanosti

Logical analysis hybrid systems

Gavran, Ivan ; Vuković, Mladen
2014.
Poučak : časopis za metodiku i nastavu matematike

Perkov, Tin ; Vuković, Mladen
2014.
Logic journal of the igpl

Čačić, Vedran ; Vuković, Mladen
2012.
Mathematical communications

Perkov, Tin ; Vuković, Mladen
2012.
Annals of pure and applied logic

Modalna definabilnost i teoremi očuvanja u modalnoj logici

Perkov, Tin
2012.

Domagoj, Vrgoč ; Mladen Vuković
2011.
Reports on Mathematical Logic

Vuković, Mladen
2011.
Glasnik matematički

Applied Logic

Vuković, Mladen
2011.

Complexity

Vuković, Mladen
2011.

Normalne forme i svojstvo konačnih modela za logiku interpretabilnosti

Čačić, Vedran
2011.

We are looking for sets

Vuković, Milana ; Vuković, Mladen
2010.
Poučak : časopis za metodiku i nastavu matematike

Domagoj, Vrgoč, Mladen, Vuković
2010.
Logic journal of the igpl

Set theory

Vuković, Mladen
2010.

Study of mathematics in Zagreb

Novak, Andrej ; Vuković, Mladen
2010.
Matematičko fizički list

On axiom of choice, shoes and socks

Vuković, Mladen
2009.
Poučak : časopis za metodiku i nastavu matematike

Computability

Vuković, Mladen
2009.

Mathematical Logic

Vuković, Mladen
2009.

Problems in Set Theory

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

Vuković, Mladen
2008.
Mathematical logic quarterly

Mathematical Logic 1

Vuković, Mladen
2007.

Bisimulations

Strmečki, Tihana
2007.

Independence and relative consistency of Axiom of Choice and Continuum Hypothesis

Čačić, Vedran
2007.

Sahlqvist formulas

Perkov, Tin
2006.

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

Vuković, Mladen
2006.
The Journal of symbolic logic

Vuković, Mladen
2005.
Bulletin of the Section of Logic

Mathematical Logic 1

Vuković, Mladen
2004.

Vuković, Mladen
2004.
Mathematical communications

Vuković, Mladen
2003.
Bulletin of the Section of Logic

Mathematical Induction and Goodstein Theorem

Vuković, Mladen
2003.
Poučak : časopis za metodiku i nastavu matematike

Some basic notions of set theory

Vuković, Mladen
2002.
Osječka matematička škola

Vuković, Mladen
2002.
Bulletin of symbolic logic

Study for mathematics teacher in Zagreb

Vuković, Mladen
2002.

Goedel's incompleteness theorems

Vuković, Mladen
2002.
Matematičko fizički list

Study for mathematics teacher in Germany

Bruckler, Franka Miriam ; Vuković, Mladen
2002.
MiŠ - Matematika i škola

Mathematical Logic 1

Vuković, Mladen
2000.

Vuković, Mladen
2000.
Bulletin of symbolic logic

Vuković, Mladen
1999.
Notre Dame journal of formal logic

Vuković, Mladen
1999.
Grazer Mathematische Berichte

Mathematical logic in primary and secondary school

Vuković, Mladen
1998.

The Neretva River

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

Vuković, Mladen
1997.
Mathematical communications

Generalized Veltman models

Vuković, Mladen
1996.

Vuković, Mladen
1996.
Glasnik matematički

Indirect proofs

Vuković, Mladen
1993.
Matematičko fizički list za učenike srednjih škola

Mathematical theories in second order languages

Vuković, Mladen
1990.

Godel's theorems

Vuković, Mladen
1987.
More information about publications

FACULTY OF SCIENCE

Horvatovac 102a,

10000 Zagreb

Tel:+385(0)1 4606 000

 

dekanat@dekanat.pmf.hr

 

Press: prpmf@dekanat.pmf.hr

Home
About us 
General information
Structure and Management
Study Programmes
Research 

 

 

 

 

Contact

 

© 2026 University of Zagreb Faculty of Science

Powered by Ekorre Academic