| Decidability of interpretability logics ILM_0 and ILW* L Mikec, T Perkov, M Vuković Logic Journal of the IGPL 25 (5), 758-772, 2017 | 17 | 2017 |
| Filtrations of generalized Veltman models T Perkov, M Vuković Mathematical Logic Quarterly 62 (4-5), 412-419, 2016 | 16 | 2016 |
| A generalization of modal frame definability T Perkov Pristine Perspectives on Logic, Language, and Computation, 142-153, 2013 | 12 | 2013 |
| Natural deduction for modal logic of judgment aggregation T Perkov Journal of logic, language and information 25 (3), 335-354, 2016 | 10* | 2016 |
| A bisimulation characterization for interpretability logic T Perkov, M Vuković Logic Journal of IGPL 22, 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 |
| Bisimulations and bisimulation games between Verbrugge models S Horvat, T Perkov, M Vuković Mathematical logic quarterly 69 (2), 231-243, 2023 | 4 | 2023 |
| Towards a generalization of modal definability T Perkov New Directions in Logic, Language and Computation, 130-139, 2010 | 4 | 2010 |
| Existential definability of modal frame classes T Perkov, L Mikec Mathematical logic quarterly 66 (3), 316-325, 2020 | 2 | 2020 |
| The McCulloch–Pitts Paper from the Perspective of Mathematical Logic T Perkov Guide to Deep Learning Basics, 7-12, 2020 | 2 | 2020 |
| Bisimulations between Verbrugge models and Veltman models T Perkov International Workshop on Logic, Language, Information, and Computation, 305-317, 2023 | 1 | 2023 |
| A note on logicality of generalized quantifiers T Perkov Logica Universalis 15 (2), 149-152, 2021 | 1 | 2021 |
| Tableau-based translation from first-order logic to modal logic T Perkov, L Mikec Reports on Mathematical Logic 56, 57-74, 2021 | 1 | 2021 |
| Abstract logical constants T Perkov Logica universalis 12 (3), 341-350, 2018 | 1 | 2018 |
| Existentially valid formulas corresponding to some normal modal logics [short paper] L Mikec, T Perkov AiML 2018, 76-80, 2018 | 1* | 2018 |
| Semantics of provability and interpretability logics [in Croatian] T Perkov, M Vuković Lecture notes, University of Zagreb, Faculty of Science, 2017 | 1* | 2017 |
| Repetitorij matematike za studente graditeljstva M Orlić, T Perkov | 1 | 2014 |
| Professional studies at Polytechnic of Zagreb [in Croatian] T Perkov, M Orlić, T Strmečki, I Vuković Matematičko fizički list 64, 276-282, 2014 | 1* | 2014 |
| Tableau-based bisimulation invariance testing T Perkov Reports on Mathematical Logic 48, 101-115, 2013 | 1 | 2013 |
| Some results in model theory of inquisitive modal logic [abstract] S Marić, T Perkov Logic and Applications LAP 2023, 23, 2023 | | 2023 |
Mladen VukovićUniversity of Zagreb Faculty of Science, Department of MathematicsVerified email at math.pmf.unizg.hr
