Tin Perkov

Log. J. IGPL, 2024

2023

Bisimulations and bisimulation games between Verbrugge models.

[BibT_eX]

[DOI]

Sebastijan Horvat

Math. Log. Q., May, 2023

Bisimulations Between Verbrugge Models and Veltman Models.

[BibT_eX]

[DOI]

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

2021

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

[BibT_eX]

[DOI]

Reports Math. Log., 2021

A Note on Logicality of Generalized Quantifiers.

[BibT_eX]

[DOI]

Logica Universalis, 2021

2020

Existential definability of modal frame classes.

[BibT_eX]

[DOI]

Math. Log. Q., 2020

2018

Abstract Logical Constants.

[BibT_eX]

[DOI]

Logica Universalis, 2018

2017

Decidability of interpretability logics ILM0 and ILW.

[BibT_eX]

[DOI]

Log. J. IGPL, 2017

2016

Filtrations of generalized Veltman models.

[BibT_eX]

[DOI]

Math. Log. Q., 2016

Natural Deduction for Modal Logic of Judgment Aggregation.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2016

2014

A 4-valued framework encompassing intuitionistic and classical logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2014

A bisimulation characterization for interpretability logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

2013

Tableau-based bisimulation invariance testing.

[BibT_eX]

[DOI]

Reports Math. Log., 2013

A Generalization of Modal Frame Definability.

[BibT_eX]

[DOI]

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

2012

Some characterization and preservation theorems in modal logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2012

2011

Towards a Generalization of Modal Definability.

[BibT_eX]

[DOI]