Tin Perkov - RankMe

19 papers C 1Journal 16Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Decidability of Inquisitive Modal Logic via Filtrations. Stud Logica Stipe Maric, Tin Perkov
2025	J	`jnl`	Intuitive Equilibriums in Games Like Traveler's Dilemma. Logica Universalis Tin Perkov
2025	J	`jnl`	Transformation of any Verbrugge model to a bisimilar Veltman model. Math. Struct. Comput. Sci. Tin Perkov
2024	J	`jnl`	Correction to: Decidability of interpretability logics IL <tt>M</tt>0 and IL <tt>W</tt>. Log. J. IGPL Luka Mikec, Tin Perkov, Mladen Vukovic
2023	C	`conf`	Bisimulations Between Verbrugge Models and Veltman Models. WoLLIC Tin Perkov
2023	J	`jnl`	Bisimulations and bisimulation games between Verbrugge models. Math. Log. Q. Sebastijan Horvat, Tin Perkov, Mladen Vukovic
2021	J	`jnl`	A Note on Logicality of Generalized Quantifiers. Logica Universalis Tin Perkov
2021	J	`jnl`	Tableau-based translation from first-order logic to modal logic. Reports Math. Log. Tin Perkov, Luka Mikec
2020	J	`jnl`	Existential definability of modal frame classes. Math. Log. Q. Tin Perkov, Luka Mikec
2018	J	`jnl`	Abstract Logical Constants. Logica Universalis Tin Perkov
2017	J	`jnl`	Decidability of interpretability logics ILM0 and ILW. Log. J. IGPL Luka Mikec, Tin Perkov, Mladen Vukovic
2016	J	`jnl`	Filtrations of generalized Veltman models. Math. Log. Q. Tin Perkov, Mladen Vukovic
2016	J	`jnl`	Natural Deduction for Modal Logic of Judgment Aggregation. J. Log. Lang. Inf. Tin Perkov
2014	J	`jnl`	A 4-valued framework encompassing intuitionistic and classical logic. J. Appl. Non Class. Logics Tin Perkov
2014	J	`jnl`	A bisimulation characterization for interpretability logic. Log. J. IGPL Tin Perkov, Mladen Vukovic
2013	—	`conf`	A Generalization of Modal Frame Definability. ESSLLI Student Sessions Tin Perkov
2013	J	`jnl`	Tableau-based bisimulation invariance testing. Reports Math. Log. Tin Perkov
2012	J	`jnl`	Some characterization and preservation theorems in modal logic. Ann. Pure Appl. Log. Tin Perkov, Mladen Vukovic
2011	—	`conf`	Towards a Generalization of Modal Definability. ESSLLI Student Sessions Tin Perkov