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. Towards a generalization of modal definability, in: D. Lassiter, M. Slavkovik (eds.): New Directions in Logic, Language, and Computation, Springer, 2012.
2. (with M. Vuković) Some characterization and preservation theorems in modal logic, Annals of Pure and Applied Logic 163 (2012) 1928-1939.
3. Tableau-based bisimulation invariance testing, Reports on Mathematical Logic 48 (2013) 101-115.
4. A generalization of modal frame definability, in: M. Colinet et al. (eds.): Pristine Perspectives on Logic, Language, and Computation, Springer, 2014.
5. A 4-valued framework encompassing intuitionistic and classical logic, Journal of Applied Non-Classical Logics 24 (2014) 138-143.
6. (with M. Vuković) A bisimulation characterization for interpretability logic, Logic Journal of the IGPL 22 (2014) 872-879.
7. (with M. Vuković) Filtrations of generalized Veltman models, Mathematical Logic Quarterly 62 (2016) 412-419.
8. Natural deduction for modal logic of judgment aggregation, Journal of Logic, Language and Information 25 (2016) 335-354.
9. (with L. Mikec, M. Vuković) Decidability of interpretability logics ILM0 i ILW*, Logic Journal of the IGPL 25 (2017) 758-772.
10. Abstract logical constants, Logica Universalis 12 (2018) 341-350.