Tin Perkov

According to our database, Tin Perkov authored at least 15 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2023

Bisimulations and bisimulation games between Verbrugge models.

Sebastijan Horvat, Tin Perkov, Mladen Vukovic

Math. Log. Q., May, 2023

Bisimulations Between Verbrugge Models and Veltman Models.

Tin Perkov

Proceedings of the Logic, Language, Information, and Computation, 2023

2021

Tableau-based translation from first-order logic to modal logic.

Tin Perkov, Luka Mikec

Reports Math. Log., 2021

A Note on Logicality of Generalized Quantifiers.

Tin Perkov

Logica Universalis, 2021

2020

Existential definability of modal frame classes.

Tin Perkov, Luka Mikec

Math. Log. Q., 2020

2018

Abstract Logical Constants.

Tin Perkov

Logica Universalis, 2018

2017

Decidability of interpretability logics ILM0 and ILW.

Luka Mikec, Tin Perkov, Mladen Vukovic

Log. J. IGPL, 2017

2016

Filtrations of generalized Veltman models.

Tin Perkov, Mladen Vukovic

Math. Log. Q., 2016

Natural Deduction for Modal Logic of Judgment Aggregation.

Tin Perkov

J. Log. Lang. Inf., 2016

2014

A 4-valued framework encompassing intuitionistic and classical logic.

Tin Perkov

J. Appl. Non Class. Logics, 2014

A bisimulation characterization for interpretability logic.

Tin Perkov, Mladen Vukovic

Log. J. IGPL, 2014

2013

Tableau-based bisimulation invariance testing.

Tin Perkov

Reports Math. Log., 2013

A Generalization of Modal Frame Definability.

Tin Perkov

Proceedings of the Pristine Perspectives on Logic, Language, and Computation, 2013

2012

Some characterization and preservation theorems in modal logic.

Tin Perkov, Mladen Vukovic

Ann. Pure Appl. Log., 2012

2011

Towards a Generalization of Modal Definability.

Tin Perkov

Proceedings of the New Directions in Logic, Language and Computation, 2011