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: Zavod za matematičku logiku i računarstvo

Teaching

undergraduate

graduate

Published papers recorded in the Croatian Scientific Bibliography Database

Bisimulations and bisimulation games for Verbrugge semantics

Horvat, Sebastijan
2024.

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

Undecidable modal logics

Rak, Luka
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.

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
2023.
Mathematical logic quarterly

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

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

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

An unusual proof

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

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

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

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

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

Uncountability of the Transcendental numbers

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

Tableaux method for modal logic

Babić, Tin
2018.

Countable sets

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

Modal completeness of interpretability logics

Horvat, Sebastijan
2018.

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

Solving logical tasks by using semantical trees

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

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

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.

Ž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

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

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

Topological completeness of provability logics

Mikec, Luka
2016.

Set-theoretical interpretations of modal logic

Kiršek, Filip
2016.

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

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

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

Logical analysis hybrid systems

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

Modalna definabilnost i teoremi očuvanja u modalnoj logici

Perkov, Tin
2012.

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

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

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

Complexity

Vuković, Mladen
2011.

Vuković, Mladen
2011.
Glasnik matematički

Normalne forme i svojstvo konačnih modela za logiku interpretabilnosti

Čačić, Vedran
2011.

Applied Logic

Vuković, Mladen
2011.

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

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

Mathematical Logic

Vuković, Mladen
2009.

Computability

Vuković, Mladen
2009.

Vuković, Mladen
2008.
Mathematical logic quarterly

Problems in Set Theory

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

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.

Vuković, Mladen
2006.
The Journal of symbolic logic

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

Sahlqvist formulas

Perkov, Tin
2006.

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

Mathematical Logic 1

Vuković, Mladen
2004.

Vuković, Mladen
2004.
Mathematical communications

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

Study for mathematics teacher in Germany

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

Some basic notions of set theory

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

Vuković, Mladen
2002.
Bulletin of symbolic logic

Goedel's incompleteness theorems

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

Study for mathematics teacher in Zagreb

Vuković, Mladen
2002.

Vuković, Mladen
2000.
Bulletin of symbolic logic

Mathematical Logic 1

Vuković, Mladen
2000.

Vuković, Mladen
1999.
Grazer Mathematische Berichte

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

The Neretva River

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

Mathematical logic in primary and secondary school

Vuković, Mladen
1998.

Vuković, Mladen
1997.
Mathematical communications

Vuković, Mladen
1996.
Glasnik matematički

Generalized Veltman models

Vuković, Mladen
1996.

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