Tin Perkov

University of Zagreb

Faculty of Teacher Education, Chair of Mathematics and Statistics

Savska cesta 77, HR-10000 Zagreb

e-mail: tin.perkov[at]ufzg.hr

Research interests

modal logic, model theory, modal definability, correspondence theory

Papers

1. (with M. Vuković) Some characterization and preservation theorems in modal logic, Annals of Pure and Applied Logic 163 (2012) 1928-1939.

2. Tableau-based bisimulation invariance testing, Reports on Mathematical Logic 48 (2013) 101-115.

3. A 4-valued framework encompassing intuitionistic and classical logic, Journal of Applied Non-Classical Logics 24 (2014) 138-143.

4. (with M. Vuković) A bisimulation characterization for interpretability logic, Logic Journal of the IGPL 22 (2014) 872-879.

5. (with M. Vuković) Filtrations of generalized Veltman models, Mathematical Logic Quarterly 62 (2016) 412-419.

6. Natural deduction for modal logic of judgment aggregation, Journal of Logic, Language and Information 25 (2016) 335-354.

7. (with L. Mikec, M. Vuković) Decidability of interpretability logics ILM₀ i ILW*, Logic Journal of the IGPL 25 (2017) 758-772.

8. Abstract logical constants, Logica Universalis 12 (2018) 341-350.

9. (with L. Mikec) Existential definability of modal frame classes, Mathematical Logic Quarterly 66 (2020) 316-325.

10. A note on logicality of generalized quantifiers, Logica Universalis 15 (2021) 149-152.

11. (with L. Mikec) Tableau-based translation from first-order logic to modal logic, Reports on Mathematical Logic 56 (2021) 57-74.

12. (with S. Horvat, M. Vuković) Bisimulations and bisimulation games between Verbrugge models, Mathematical Logic Quarterly 69 (2023) 231-243.

13. (with L. Mikec, M. Vuković) Correction to: Decidability of interpretability logics ILM₀ i ILW*, Logic Journal of the IGPL 32 (2024) 936-937.

14. (with S. Horvat) Selection method for interpretability logic IL with respect to Verbrugge semantics, Rad HAZU, Matematičke znanosti 29 (2025) 23-35.

15. (with S. Horvat) A correspondence theorem for interpretability logic with respect to Verbrugge semantics, Logic Journal of the IGPL 33 (2025) to appear

16. (with S. Marić) Decidability of inquisitive modal logic via filtrations, Studia Logica (2025) to appear

17. Transformation of any Verbrugge model to a bisimilar Veltman model, Mathematical Structures in Computer Science (2025) to appear

18. (with S. Marić) Selection method for inquisitive modal logic, Reports on Mathematical Logic 60 (2025) to appear

Chapters

1. Towards a generalization of modal definability, in: D. Lassiter, M. Slavkovik (eds.): New Directions in Logic, Language, and Computation. Springer (2012) 130-139.

2. A generalization of modal frame definability, in: M. Colinet et al. (eds.): Pristine Perspectives on Logic, Language, and Computation. Springer (2014) 142-153.

3. The McCulloch-Pitts paper from the perspective of mathematical logic, in: S. Skansi (ed.): Guide to Deep Learning Basics. Logical, Historical and Philosophical Perspectives. Springer (2020) 7-12.

4. Bisimulations between Verbrugge models and Veltman models, in: H.H. Hansen et al. (eds.): Logic, Language, Information, and Computation. WoLLIC 2023. Springer (2023) 305-317.