Tin Perkov

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 9

Top Topics

Natural Deduction

Decision Procedures

Top Venues

Logica Universalis

Reports Math. Log.

Publications

Tin Perkov
Bisimulations Between Verbrugge Models and Veltman Models. WoLLIC (2023)
Sebastijan Horvat, Tin Perkov, Mladen Vukovic
Bisimulations and bisimulation games between Verbrugge models. Math. Log. Q. 69 (2) (2023)
Tin Perkov
A Note on Logicality of Generalized Quantifiers. Logica Universalis 15 (2) (2021)
Tin Perkov, Luka Mikec
Tableau-based translation from first-order logic to modal logic. Reports Math. Log. 56 (2021)
Tin Perkov, Luka Mikec
Existential definability of modal frame classes. Math. Log. Q. 66 (3) (2020)
Tin Perkov
Abstract Logical Constants. Logica Universalis 12 (3-4) (2018)
Luka Mikec, Tin Perkov, Mladen Vukovic
Decidability of interpretability logics ILM0 and ILW. Log. J. IGPL 25 (5) (2017)
Tin Perkov, Mladen Vukovic
Filtrations of generalized Veltman models. Math. Log. Q. 62 (4-5) (2016)
Tin Perkov
Natural Deduction for Modal Logic of Judgment Aggregation. J. Log. Lang. Inf. 25 (3-4) (2016)
Tin Perkov, Mladen Vukovic
A bisimulation characterization for interpretability logic. Log. J. IGPL 22 (6) (2014)
Tin Perkov
A 4-valued framework encompassing intuitionistic and classical logic. J. Appl. Non Class. Logics 24 (1-2) (2014)
Tin Perkov
A Generalization of Modal Frame Definability. ESSLLI Student Sessions (2013)
Tin Perkov
Tableau-based bisimulation invariance testing. Reports Math. Log. 48 (2013)
Tin Perkov, Mladen Vukovic
Some characterization and preservation theorems in modal logic. Ann. Pure Appl. Log. 163 (12) (2012)
Tin Perkov
Towards a Generalization of Modal Definability. ESSLLI Student Sessions (2011)