Matematička logika M Vuković Element, 2009 | 65 | 2009 |
Interpretability logics and generalised Veltman semantics L Mikec, M Vuković The Journal of Symbolic Logic 85 (2), 749-772, 2020 | 17 | 2020 |
Decidability of interpretability logics IL M 0 and IL W L Mikec, T Perkov, M Vuković Logic Journal of the IGPL 25 (5), 758-772, 2017 | 17 | 2017 |
Bisimulations between generalized Veltman models and Veltman models M Vuković Mathematical Logic Quarterly 54 (4), 368-373, 2008 | 17 | 2008 |
Filtrations of generalized Veltman models T Perkov, M Vuković Mathematical Logic Quarterly 62 (4-5), 412-419, 2016 | 16 | 2016 |
The principles of interpretability M Vuković Notre Dame Journal of Formal Logic 40 (2), 227-235, 1999 | 16 | 1999 |
Bisimulations and bisimulation quotients of generalized Veltman models D Vrgoč, M Vuković Logic Journal of the IGPL 18 (6), 870-880, 2010 | 13 | 2010 |
Complexity of the interpretability logic IL L Mikec, F Pakhomov, M Vuković Logic Journal of the IGPL 27 (1), 1-7, 2019 | 9 | 2019 |
An overview of generalised Veltman semantics JJ Joosten, JM Rovira, L Mikec, M Vuković arXiv preprint arXiv:2007.04722, 2020 | 8 | 2020 |
Matematička logika 1, skripta M Vuković PMF-Matematički odjel, Sveučilište u Zagrebu, 2007 | 8 | 2007 |
Teorija skupova, skripta M Vuković PMF–MO, Zagreb, 2015 | 7 | 2015 |
A bisimulation characterization for interpretability logic T Perkov, M Vuković Logic Journal of the IGPL 22 (6), 872-879, 2014 | 7 | 2014 |
Some characterization and preservation theorems in modal logic T Perkov, M Vuković Annals of Pure and Applied Logic 163 (12), 1928-1939, 2012 | 5 | 2012 |
A note on normal forms for the closed fragment of system IL V Čačić, M Vuković Mathematical Communications 17 (1), 195-204, 2012 | 5 | 2012 |
Teorija skupova, predavanja M Vuković PMF–Matematički odjel, Zagreb, 2010 | 5 | 2010 |
Bisimulations and bisimulation games between Verbrugge models S Horvat, T Perkov, M Vuković Mathematical logic quarterly 69 (2), 231-243, 2023 | 4 | 2023 |
A w-flavoured series of interpretability principles L Mikec, JJ Joosten, M Vuković Advances in Modal Logic 2020, 60-64, 2020 | 4 | 2020 |
Zbirka zadataka iz teorije skupova FM Brückler, V Čačić, M Doko, M Vuković Sveucilište u Zagrebu, PMF-Matematicki odsjek, Zagreb, 2009 | 4 | 2009 |
The interpretability logic ILF M Vuković Mathematical Communications 3 (2), 205-210, 1998 | 4 | 1998 |
Bisimulation quotients of Veltman models D Vrgoč, M Vuković Reports on Mathematical Logic 2011 (46), 59-73, 2011 | 3 | 2011 |