{"id":482,"date":"2023-11-03T11:35:00","date_gmt":"2023-11-03T10:35:00","guid":{"rendered":"https:\/\/formals.ufzg.hr\/?page_id=482"},"modified":"2026-01-13T07:41:54","modified_gmt":"2026-01-13T06:41:54","slug":"tin-perkov","status":"publish","type":"page","link":"http:\/\/formals.ufzg.hr\/index.php\/tin-perkov\/","title":{"rendered":""},"content":{"rendered":"\n

Tin Perkov<\/strong><\/p>\n\n\n\n

University of Zagreb<\/a><\/p>\n\n\n\n

Faculty of Teacher Education<\/a>, Chair of Mathematics and Statistics<\/p>\n\n\n\n

Savska cesta 77, HR-10000 Zagreb<\/p>\n\n\n\n

e-mail: tin.perkov[at]ufzg.hr<\/a><\/p>\n\n\n\n

Research interests<\/strong><\/p>\n\n\n\n

modal logic, model theory, modal definability, correspondence theory<\/p>\n\n\n\n

Papers<\/strong><\/p>\n\n\n\n

1. (with M. Vukovi\u0107) Some characterization and preservation theorems in modal logic, Annals of Pure and Applied Logic<\/em> 163 (2012) 1928-1939.<\/p>\n\n\n\n

2. Tableau-based bisimulation invariance testing, Reports on Mathematical Logic<\/em> 48 (2013) 101-115.<\/p>\n\n\n\n

3. A 4-valued framework encompassing intuitionistic and classical logic, Journal of Applied Non-Classical Logics<\/em> 24 (2014) 138-143.<\/p>\n\n\n\n

4. (with M. Vukovi\u0107) A bisimulation characterization for interpretability logic, Logic Journal of the IGPL<\/em> 22 (2014) 872-879.<\/p>\n\n\n\n

5. (with M. Vukovi\u0107) Filtrations of generalized Veltman models, Mathematical Logic Quarterly<\/em> 62 (2016) 412-419.<\/p>\n\n\n\n

6. Natural deduction for modal logic of judgment aggregation, Journal of Logic, Language and Information<\/em> 25 (2016) 335-354.<\/p>\n\n\n\n

7. (with L. Mikec, M. Vukovi\u0107) Decidability of interpretability logics ILM0<\/sub> i ILW*, Logic Journal of the IGPL<\/em> 25 (2017) 758-772.<\/p>\n\n\n\n

8. Abstract logical constants, Logica Universalis<\/em> 12 (2018) 341-350.<\/p>\n\n\n\n

9. (with L. Mikec) Existential definability of modal frame classes, Mathematical Logic Quarterly<\/em> 66 (2020) 316-325.<\/p>\n\n\n\n

10. A note on logicality of generalized quantifiers, Logica Universalis<\/em> 15 (2021) 149-152.<\/p>\n\n\n\n

11. (with L. Mikec) Tableau-based translation from first-order logic to modal logic, Reports on Mathematical Logic<\/em> 56 (2021) 57-74.<\/p>\n\n\n\n

12. (with S. Horvat, M. Vukovi\u0107) Bisimulations and bisimulation games between Verbrugge models, Mathematical Logic Quarterly<\/em> 69 (2023) 231-243.<\/p>\n\n\n\n

13. (with L. Mikec, M. Vukovi\u0107) Correction to: Decidability of interpretability logics ILM0<\/sub> i ILW*, Logic Journal of the IGPL<\/em> 32 (2024) 936-937.<\/p>\n\n\n\n

14. (with S. Horvat) Selection method for interpretability logic IL with respect to Verbrugge semantics, Rad HAZU, Matemati\u010dke znanosti<\/em> 29 (2025) 23-35.<\/p>\n\n\n\n

15. (with S. Horvat) A correspondence theorem for interpretability logic with respect to Verbrugge semantics, Logic Journal of the IGPL<\/em> 33 (2025) jzae081, 13 pp.<\/p>\n\n\n\n

16. (with S. Mari\u0107) Decidability of inquisitive modal logic via filtrations, Studia Logica<\/em> 113 (2025) 1437-1455.<\/p>\n\n\n\n

17. Transformation of any Verbrugge model to a bisimilar Veltman model, Mathematical Structures in Computer Science<\/em> 35 (2025) e11, 14 pp.<\/p>\n\n\n\n

18. Intuitive equilibriums in games like traveler’s dilemma, Logica Universalis<\/em> 19 (2025) 509-516.<\/p>\n\n\n\n

19. (with S. Mari\u0107) Selection method for inquisitive modal logic, Reports on Mathematical Logic<\/em> 60 (2025) 3-22.<\/p>\n\n\n\n

Chapters<\/strong><\/p>\n\n\n\n

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

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

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<\/em>. Springer (2020) 7-12.<\/p>\n\n\n\n

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

<\/p>\n\n\n\n

<\/p>\n\n\n\n

<\/p>\n\n\n\n

<\/p>\n\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

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\u0107) 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\u0107) A bisimulation characterization for interpretability logic, Logic Journal of the IGPL 22 (2014) 872-879. 5. (with M. Vukovi\u0107) 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\u0107) Decidability of interpretability logics ILM0 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\u0107) Bisimulations and bisimulation games between Verbrugge models, Mathematical Logic Quarterly 69 (2023) 231-243. 13. (with L. Mikec, M. Vukovi\u0107) Correction to: Decidability of interpretability logics ILM0 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\u010dke 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) jzae081, 13 pp. 16. (with S. Mari\u0107) Decidability of inquisitive modal logic via filtrations, Studia Logica 113 (2025) 1437-1455. 17. Transformation of any Verbrugge model to a bisimilar Veltman model, Mathematical Structures in Computer Science 35 (2025) e11, 14 pp. 18. Intuitive equilibriums in games like traveler’s dilemma, Logica Universalis 19 (2025) 509-516. 19. (with S. Mari\u0107) Selection method for inquisitive modal logic, Reports on Mathematical Logic 60 (2025) 3-22. 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.<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/pages\/482"}],"collection":[{"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/comments?post=482"}],"version-history":[{"count":36,"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/pages\/482\/revisions"}],"predecessor-version":[{"id":716,"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/pages\/482\/revisions\/716"}],"wp:attachment":[{"href":"http:\/\/formals.ufzg.hr\/index.php\/wp-json\/wp\/v2\/media?parent=482"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}