Towards a Generalization of Modal Definability. - Tin Perkov (ESSLLI Student Sessions, 2011)

Some characterization and preservation theorems in modal logic. - Tin Perkov; Mladen Vukovic (Ann. Pure Appl. Log., 2012)

A Generalization of Modal Frame Definability. - Tin Perkov (ESSLLI Student Sessions, 2013)

Tableau-based bisimulation invariance testing. - Tin Perkov (Reports Math. Log., 2013)

A bisimulation characterization for interpretability logic. - Tin Perkov; Mladen Vukovic (Log. J. IGPL, 2014)

A 4-valued framework encompassing intuitionistic and classical logic. - Tin Perkov (J. Appl. Non Class. Logics, 2014)

Natural Deduction for Modal Logic of Judgment Aggregation. - Tin Perkov (J. Log. Lang. Inf., 2016)

Filtrations of generalized Veltman models. - Tin Perkov; Mladen Vukovic (Math. Log. Q., 2016)

Decidability of interpretability logics ILM0 and ILW. - Luka Mikec; Tin Perkov; Mladen Vukovic (Log. J. IGPL, 2017)

Abstract Logical Constants. - Tin Perkov (Logica Universalis, 2018)

Existential definability of modal frame classes. - Tin Perkov; Luka Mikec (Math. Log. Q., 2020)

A Note on Logicality of Generalized Quantifiers. - Tin Perkov (Logica Universalis, 2021)

Tableau-based translation from first-order logic to modal logic. - Tin Perkov; Luka Mikec (Reports Math. Log., 2021)

Bisimulations Between Verbrugge Models and Veltman Models. - Tin Perkov (WoLLIC, 2023)

Bisimulations and bisimulation games between Verbrugge models. - Sebastijan Horvat; Tin Perkov; Mladen Vukovic (Math. Log. Q., 2023)

Correction to: Decidability of interpretability logics IL M0 and IL W. - Luka Mikec; Tin Perkov; Mladen Vukovic (Log. J. IGPL, 2024)

Transformation of any Verbrugge model to a bisimilar Veltman model. - Tin Perkov (Math. Struct. Comput. Sci., 2025)