Tin Perkov

Available identifiers

Publication	Date of Publication	Type
Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)	2024-11-15	Paper
Bisimulations between Verbrugge models and Veltman models	2024-02-28	Paper
Bisimulations and bisimulation games between Verbrugge models	2023-09-15	Paper
Existential definability of modal frame classes	2023-09-11	Paper
Decidability of interpretability logics ILM0 and ILW*	2022-08-10	Paper
Tableau-based translation from first-order logic to modal logic	2022-02-02	Paper
A note on logicality of generalized quantifiers	2021-08-11	Paper
The McCulloch–Pitts Paper from the Perspective of Mathematical Logic	2020-07-02	Paper
A bisimulation characterization for interpretability logic	2019-01-08	Paper
Abstract logical constants	2018-12-12	Paper
A 4-valued framework encompassing intuitionistic and classical logic	2018-08-28	Paper
Natural deduction for modal logic of judgment aggregation	2018-02-15	Paper
Filtrations of generalized Veltman models	2016-10-24	Paper
A Generalization of Modal Frame Definability	2014-07-24	Paper
Tableau-based Bisimulation Invariance Testing	2014-04-25	Paper
Towards a Generalization of Modal Definability	2012-11-06	Paper
Some characterization and preservation theorems in modal logic	2012-10-11	Paper

This page was built for person: Tin Perkov