Search

About employee

prof. dr. sc. Mladen Vuković

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

Scientific publications (CroRIS)

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

Undecidable modal logics

Rak, Luka
2024.

Bisimulations and bisimulation games for Verbrugge semantics

Horvat, Sebastijan
2024.

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.

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

Pasković, Nika
2023.

Emergency situations in dementia

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

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

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

An unusual proof

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

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

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

Lindström's theorem for modal logic

Krunić, Jakov
2020.

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

Ž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.

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

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

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 ; 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 ; 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.

Ž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.

Countable sets

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

Tableaux method for modal logic

Babić, Tin
2018.

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.
Matematika i škola

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

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

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

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

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.

Ž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.

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.

Normalne forme i svojstvo konačnih modela za logiku interpretabilnosti

Čačić, Vedran
2011.

Complexity

Vuković, Mladen
2011.

Applied Logic

Vuković, Mladen
2011.

Vuković, Mladen
2011.
Glasnik matematički

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

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

Study of mathematics in Zagreb

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

Set theory

Vuković, Mladen
2010.

We are looking for sets

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

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

Independence and relative consistency of Axiom of Choice and Continuum Hypothesis

Čačić, Vedran
2007.

Bisimulations

Strmečki, Tihana
2007.

Mathematical Logic 1

Vuković, Mladen
2007.

Sahlqvist formulas

Perkov, Tin
2006.

Vuković, Mladen
2006.
The Journal of symbolic logic

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

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

Vuković, Mladen
2004.
Mathematical communications

Mathematical Logic 1

Vuković, Mladen
2004.

Mathematical Induction and Goodstein Theorem

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

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

Some basic notions of set theory

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

Study for mathematics teacher in Zagreb

Vuković, Mladen
2002.

Vuković, Mladen
2002.
Bulletin of symbolic logic

Study for mathematics teacher in Germany

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

Goedel's incompleteness theorems

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

Vuković, Mladen
2000.
Bulletin of symbolic logic

Mathematical Logic 1

Vuković, Mladen
2000.

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

Vuković, Mladen
1999.
Grazer Mathematische Berichte

The Neretva River

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

Mathematical logic in primary and secondary school

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

 

© 2025 Faculty of Science, University of Zagreb

Powered by Ekorre Academic