Tin Perkov
- Zvanje
- predavač
O meni
Djelatnik još nije objavio opis profila.
Publikacije 66
2026 4
- završni rad (sveučilišni) Predmatematičke vještine u nacionalnom kurikulumu i studiju predškolskog odgoja
- diplomski rad (sveučilišni) Razvoj logičkog mišljenja kod djece rane i predškolske dobi kroz matematičke zadatke
- diplomski rad (sveučilišni) Razvoj pojma broja i kardinalnosti u vrtiću
- neobjavljeni prilog sa skupa Tableaux for inquisitive modal logic
2025 11
- izvorni znanstveni rad A correspondence theorem for interpretability logic with respect to Verbrugge semantics Logic journal of the igpl
- diplomski rad (sveučilišni) Algoritmi za provjere modela u linearnoj temporalnoj logici
- izvorni znanstveni rad Decidability of inquisitive modal logic via filtrations Studia Logica
- izvorni znanstveni rad Intuitive equilibriums in games like traveler’s dilemma Logica universalis
- završni rad (sveučilišni) Matematička spoznaja u ranoj dobi
- završni rad (sveučilišni) Razvoj logičkog mišljenja kroz matematičke aktivnosti u predškolskom uzrastu
- izvorni znanstveni rad Selection method for inquisitive modal logic Reports on Mathematical Logic
- izvorni znanstveni rad Selection method for interpretability logic IL with respect to Verbrugge semantics Rad Hrvatske akademije znanosti i umjetnosti. Razred za matematičke, fizičke i kemijske znanosti. Matematičke znanosti
- doktorski rad Svojstvo konačnih modela i odlučivost inkvizitivne modalne logike i njenih proširenja
- izvorni znanstveni rad Transformation of any Verbrugge model to a bisimilar Veltman model Mathematical structures in computer science
- završni rad (sveučilišni) Usvajanje matematičkih pojmova u predškolskoj dobi
2024 7
- doktorski rad Aksiomatizacije i modeli teorije NFU
- doktorski rad Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku
- ispravak Correction to: Decidability of interpretability logics ILM_0 and ILW* Logic journal of the igpl
- neobjavljeni prilog sa skupa Finite model property of inquisitive modal logic via selection
- diplomski rad (sveučilišni) Neodlučive modalne logike
- završni rad (sveučilišni) Predmatematičke vještine u vrtiću
- završni rad (sveučilišni) Važnost matematike za djecu predškolskog uzrasta
2023 4
- izvorni znanstveni rad Bisimulations and bisimulation games between Verbrugge models Mathematical logic quarterly
- izvorni znanstveni rad Bisimulations between Verbrugge models and Veltman models Logic, Language, Information, and Computation. 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings
- diplomski rad (sveučilišni) Metode interpretacije, kvazimodela i mozaika za dokazivanje odlučivosti modalnih logika
- neobjavljeni prilog sa skupa Some results in model theory of inquisitive modal logic
2022 5
- sažetak izlaganja sa skupa A good method of transforming Veltman into Verbrugge models Logic and Applications 2022 Book of Abstracts
- sažetak izlaganja sa skupa A new notion of bisimulations of Verbrugge semantics 7th Croatian Mathematical Congress: Book of Abstract
- diplomski rad (sveučilišni) Logičko mišljenje u početnoj nastavi matematike
- diplomski rad (sveučilišni) Matematički pojmovi u razrednoj nastavi
- diplomski rad (sveučilišni) Uvođenje pojma površine u nastavi matematike
2021 4
- izvorni znanstveni rad A note on logicality of generalized quantifiers Logica universalis
- ostalo Logika i stvaralaštvo Filozofija i stvaralaštvo
- izvorni znanstveni rad Tableau-based translation from first-order logic to modal logic Reports on Mathematical Logic
- sažetak izlaganja sa skupa n-bisimulations for generalised Veltman semantics Logic and Applications 2021 Book of Abstracts
2020 3
- izvorni znanstveni rad Existential definability of modal frame classes Mathematical logic quarterly
- diplomski rad (sveučilišni) Lindströmov teorem za modalnu logiku
- izvorni znanstveni rad The McCulloch–Pitts paper from the perspective of mathematical logic Guide to Deep Learning Basics. Logical, Historical and Philosophical Perspectives
2019 2
2018 7
- izvorni znanstveni rad Abstract logical constants Logica universalis
- kratko priopćenje Existentially valid formulas corresponding to some normal modal logics Advances in Modal Logic 2018, Booklet of Short Papers
- sažetak izlaganja sa skupa Formalizations of social choice theory in modal logic Book of Abstracts, Logic and Applications (LAP 2018), Formal Reasoning and Semantics (FORMALS 2018), Dubrovnik, 24-28. 9. 2018
- diplomski rad (sveučilišni) Metoda tableauxa za modalnu logiku
- diplomski rad (sveučilišni) Modalna potpunost logika interpretabilnosti
- diplomski rad (sveučilišni) Primjena statističkih metoda u istraživanju korelacije stavova roditelja i izbora vrtića
- ostalo Zbirka zadataka iz matematike za studente učiteljskih studija
2017 4
- sažetak izlaganja sa skupa Decidability and Complexity of Some Interpretability Logics Book of Abstracts of the 6 th International Conference on Logic and Applications - LAP 2017
- izvorni znanstveni rad Decidability of interpretability logics ILM_0 and ILW* Logic journal of the igpl
- sažetak izlaganja sa skupa Formal proofs using natural deduction for modal logic of social choice Computational Aspects of Arguments and Logic (CAALC 2017) Beograd 6-7. 7. 2017
- stručni rad Topološka semantika logika dokazivosti Math.e
2016 4
- izvorni znanstveni rad Filtrations of generalized Veltman models Mathematical logic quarterly
- izvorni znanstveni rad Natural deduction for modal logic of judgment aggregation Journal of logic, language and information
- diplomski rad (sveučilišni) Skupovne interpretacije modalne logike
- diplomski rad (sveučilišni) Topološka potpunost logika dokazivosti
2014 6
- izvorni znanstveni rad A 4-valued framework encompassing intuitionistic and classical logic Journal of applied non-classical logics
- izvorni znanstveni rad A bisimulation characterization for interpretability logic Logic journal of the igpl
- izvorni znanstveni rad A generalization of modal frame definability Pristine Perspectives on Logic, Language, and Computation. ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers
- ispravak Ispravak greške u članku “Ljetni kamp mladih matematičara Pazin, 11. – 18. kolovoza 2013., Matematičko modeliranje u biologiji – širenje HIV-a” Matematičko fizički list
- ostalo Repetitorij matematike za studente graditeljstva
- stručni rad Stručni studiji Tehničkog veleučilišta u Zagrebu Matematičko fizički list
2013 1
2012 3
- doktorski rad Modalna definabilnost i teoremi očuvanja u modalnoj logici
- izvorni znanstveni rad Some characterization and preservation theorems in modal logic Annals of pure and applied logic
- izvorni znanstveni rad Towards a generalization of modal definability New Directions in Logic, Language and Computation. ESSLLI 2010 and ESSLLI 2011 Student Sessions : Selected Papers
