Tin Perkov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^\) Logic Journal of the IGPL*	2024-11-15	Paper
Bisimulations between Verbrugge models and Veltman models Logic, Language, Information, and Computation	2024-02-28	Paper
Bisimulations and bisimulation games between Verbrugge models Mathematical Logic Quarterly	2023-09-15	Paper
Existential definability of modal frame classes Mathematical Logic Quarterly	2023-09-11	Paper
Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^\) Logic Journal of the IGPL*	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 Logica Universalis	2021-08-11	Paper
The McCulloch-Pitts paper from the perspective of mathematical logic Guide to Deep Learning Basics	2020-07-02	Paper
A bisimulation characterization for interpretability logic Logic Journal of the IGPL	2019-01-08	Paper
Abstract logical constants Logica Universalis	2018-12-12	Paper
A 4-valued framework encompassing intuitionistic and classical logic Journal of Applied Non-Classical Logics	2018-08-28	Paper
Natural deduction for modal logic of judgment aggregation Journal of Logic, Language and Information	2018-02-15	Paper
Filtrations of generalized Veltman models Mathematical Logic Quarterly (MLQ)	2016-10-24	Paper
A generalization of modal frame definability Pristine Perspectives on Logic, Language, and Computation	2014-07-24	Paper
Tableau-based bisimulation invariance testing	2014-04-25	Paper
Towards a generalization of modal definability Lecture Notes in Computer Science	2012-11-06	Paper
Some characterization and preservation theorems in modal logic Annals of Pure and Applied Logic	2012-10-11	Paper

Research outcomes over time

This page was built for person: Tin Perkov