| Bisimulations and bisimulation games between Verbrugge models S Horvat, T Perkov, M Vuković Mathematical logic quarterly 69 (2), 231-243, 2023 | 4 | 2023 |
| Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku S Horvat University of Zagreb. Faculty of Science. Department of Mathematics, 2024 | | 2024 |
| The selection method for interpretability logic IL with respect to Verbrugge semantics S Horvat, T Perkov, M Vukovic Logic and Applications LAP 2023, 20, 2023 | | 2023 |
| Games and tree unravelings for a new notion of bisimulations of Verbrugge semantics S Horvat World Logic Day 2023, Zagreb, 5-5, 2023 | | 2023 |
| A good method of transforming Veltman into Verbrugge models S Horvat, T Perkov, M Vukovic Logic and Applications LAP 2022, 22, 2022 | | 2022 |
| BISIMULACIJE ZA GENERALIZIRANU VELTMANOVU SEMANTIKU S Horvat BOOK OF ABSTRACTS, 184, 2022 | | 2022 |
| A new notion of bisimulations of Verbrugge semantics S Horvat, T Perkov, M Vuković 7th Croatian Mathematical Congress, 44-45, 2022 | | 2022 |
| n-bisimulations for generalised Veltman semantics S Horvat, T Perkov, M Vukovic Logic and Applications LAP 2021, 31, 2021 | | 2021 |
| Bisimulation games for (generalized) Veltman semantics S Horvat The 4th workshop Formal Reasoning and Semantics (FORMALS 2021), 78-79, 2021 | | 2021 |
| Smart labels in proofs of completeness of interpretability logics S Horvat Logic and Applications LAP 2020, 46, 2020 | | 2020 |
| Smart labels S Horvat 8th International Conference Logic and Applications (LAP 2019), 19-20, 2019 | | 2019 |
| Modalna potpunost logika interpretabilnosti S Horvat University of Zagreb. Faculty of Science. Department of Mathematics, 2018 | | 2018 |
| GL1 is PSPACE–complete S Horvat | | |
| NAJBLIŽI PAR TOČAKA S Horvat | | |
