Pregled po CROSBI profilu: Tin Perkov (CROSBI Profil: 32306, MBZ: 341135)
Pronađeno 40 radova
-
1.Horvat, Sebastijan; Perkov, Tin; Vuković, MladenA new notion of bisimulations of Verbrugge semantics // Abstracts 7th Croatian Mathematical Congress
Split, Hrvatska, 2022. str. 44-45 (predavanje, sažetak, znanstveni) -
2.Horvat, Sebastijan; Perkov, Tin; Vuković, MladenA good method of transforming Veltman into Verbrugge models // Logic and Applications 2022 Book of Abstracts
Dubrovnik, Hrvatska, 2022. str. 22-23 (predavanje, sažetak, znanstveni) -
3.Dedić, ŽanaMatematički pojmovi u razrednoj nastavi, 2022., diplomski rad, Učiteljski fakultet, Zagreb
-
4.Đurđević-Tomaš, IvanaUvođenje pojma površine u nastavi matematike, 2022., diplomski rad, Učiteljski fakultet, Zagreb
-
5.Bušković, ElenaLogičko mišljenje u početnoj nastavi matematike, 2022., diplomski rad, Učiteljski fakultet, Zagreb
-
6.Horvat, Sebastijan; Perkov, Tin; Vuković, Mladenn-bisimulations for generalised Veltman semantics // Logic and Applications 2021 Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 31-32 (predavanje, sažetak, znanstveni) -
7.Perkov, Tin; Mikec, LukaTableau-based translation from first-order logic to modal logic // Reports on Mathematical Logic, 56 (2021), 57-74 doi:10.4467/20842589RM.21.006.14375 (međunarodna recenzija, članak, znanstveni)
-
8.Perkov, TinA note on logicality of generalized quantifiers // Logica Universalis, 15 (2021), 149-152 doi:10.1007/s11787-021-00271-8 (međunarodna recenzija, članak, znanstveni)
-
9.Perkov, TinLogika i stvaralaštvo // Filozofija i stvaralaštvo / Krznar, Tomislav (ur.).
Zagreb: Hrvatsko filozofsko društvo ; Učiteljski fakultet Sveučilišta u Zagrebu, 2021. str. 103-108 (predavanje, domaća recenzija, cjeloviti rad (in extenso), ostalo) -
10.Perkov, Tin; Mikec, LukaExistential definability of modal frame classes // Mathematical logic quarterly, 66 (2020), 316-325 doi:10.1002/malq.201900061 (međunarodna recenzija, članak, znanstveni)
-
11.Krunić, JakovLindströmov teorem za modalnu logiku, 2020., diplomski rad, Prirodoslovno-matematički fakultet- Matematički odsjek, Zagreb
-
12.Perkov, TinThe McCulloch–Pitts paper from the perspective of mathematical logic // Guide to Deep Learning Basics. Logical, Historical and Philosophical Perspectives / Skansi, Sandro (ur.).
Cham: Springer, 2020. str. 7-12 doi:10.1007/978-3-030-37591-1_2 -
13.Pažek, Bojan; Perkov, TinTopološka semantika modalne logike // Math.e : hrvatski matematički elektronski časopis, 36 (2019), 41-51 (domaća recenzija, članak, stručni)
-
14.Perkov, TinGaussov uskrsni algoritam // Matematika i škola, 20 (2019), 184-186 (domaća recenzija, članak, stručni)
-
15.Mikec, Luka; Perkov, TinExistentially valid formulas corresponding to some normal modal logics // Advances in Modal Logic 2018, Booklet of Short Papers
Bern, 2018. str. 76-80 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni) -
16.Babić, TinMetoda tableauxa za modalnu logiku, 2018., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
-
17.Horvat, SebastijanModalna potpunost logika interpretabilnosti, 2018., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
-
18.Mikuljan, MartinaPrimjena statističkih metoda u istraživanju korelacije stavova roditelja i izbora vrtića, 2018., diplomski rad, Učiteljski fakultet, Zagreb
-
19.Perkov, TinFormalizations 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
Dubrovnik, Hrvatska, 2018. str. 59-60 (predavanje, sažetak, ostalo) -
20.Perkov, TinAbstract logical constants // Logica universalis, 12 (2018), 3-4; 341-350 doi:10.1007/s11787-018-0206-7 (međunarodna recenzija, članak, znanstveni)
-
21.Juričić Devčić, Marija; Perkov, Tin; Trupčević, Goran; Vuković, PredragZbirka zadataka iz matematike za studente učiteljskih studija
Zagreb: Učiteljski fakultet Sveučilišta u Zagrebu, 2018 -
22.Mikec, Luka; Perkov, Tin; Vuković, MladenDecidability and Complexity of Some Interpretability Logics // Book of Abstracts of the 6 th International Conference on Logic and Applications - LAP 2017
Dubrovnik, Hrvatska, 2017. str. 29-31 (predavanje, sažetak, znanstveni) -
23.Perkov, TinFormal proofs using natural deduction for modal logic of social choice // Computational Aspects of Arguments and Logic (CAALC 2017) Beograd 6-7. 7. 2017
Beograd, Srbija, 2017. str. 10-11 (predavanje, sažetak, ostalo) -
24.Mikec, Luka; Perkov, TinTopološka semantika logika dokazivosti // Math.e, 32 (2017), 1; 38-52 (domaća recenzija, članak, stručni)
-
25.Mikec, Luka; Perkov, Tin; Vuković, MladenDecidability of interpretability logics ILM_0 and ILW* // Logic journal of the igpl, 25 (2017), 5; 758-772 doi:10.1093/jigpal/jzx027 (međunarodna recenzija, članak, znanstveni)
-
26.Kiršek, FilipSkupovne interpretacije modalne logike, 2016., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
-
27.Mikec, LukaTopološka potpunost logika dokazivosti, 2016., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
-
28.Perkov, TinNatural deduction for modal logic of judgment aggregation // Journal of logic, language and information, 25 (2016), 335-354 doi:10.1007/s10849-016-9235-x (međunarodna recenzija, članak, znanstveni)
-
29.Perkov, Tin; Vuković, MladenFiltrations of generalized Veltman models // Mathematical logic quarterly, 62 (2016), 4/5; 412-419 doi:10.1002/malq.201500030 (međunarodna recenzija, članak, znanstveni)
-
30.Perkov, TinIspravak 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, 65 (2014), 29-30 (podatak o recenziji nije dostupan, ispravak, stručni)
-
31.Perkov, TinA generalization of modal frame definability // Pristine Perspectives on Logic, Language, and Computation. ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers / Colinet, Margot ; Katrenko, Sophia ; Rendsvig, Rasmus K. (ur.).
Berlin : Heidelberg: Springer, 2014. str. 142-153 -
32.Perkov, TinA 4-valued framework encompassing intuitionistic and classical logic // Journal of applied non-classical logics, 24 (2014), 138-143 doi:10.1080/11663081.2014.911533 (međunarodna recenzija, članak, znanstveni)
-
33.Perkov, Tin; Orlić, Mandi; Strmečki, Tihana; Vuković, IvicaStručni studiji Tehničkog veleučilišta u Zagrebu // Matematičko fizički list, 64 (2014), 276-282 (podatak o recenziji nije dostupan, članak, stručni)
-
34.Orlić, Mandi; Perkov, TinRepetitorij matematike za studente graditeljstva
Zagreb: Tehničko veleučilište u Zagrebu, 2014 -
35.Perkov, Tin; Vuković, MladenA bisimulation characterization for interpretability logic // Logic journal of the igpl, 22 (2014), 6; 872-879 doi:10.1093/jigpal/jzu015 (međunarodna recenzija, članak, znanstveni)
-
36.Perkov, TinTableau-based bisimulation invariance testing // Reports on mathematical logic, 48 (2013), 101-115 (međunarodna recenzija, članak, znanstveni)
-
37.Perkov, TinModalna definabilnost i teoremi očuvanja u modalnoj logici, 2012., doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb
-
38.Perkov, Tin; Vuković, MladenSome characterization and preservation theorems in modal logic // Annals of pure and applied logic, 163 (2012), 12; 1928-1939 doi:10.1016/j.apal.2012.07.001 (međunarodna recenzija, članak, znanstveni)
-
39.Perkov, TinTowards a generalization of modal definability // New Directions in Logic, Language and Computation. ESSLLI 2010 and ESSLLI 2011 Student Sessions : Selected Papers / Lassiter, Daniel ; Slavkovik, Marija (ur.).
Berlin : Heidelberg: Springer, 2012. str. 130-139 -
40.Perkov, TinSahlqvistove formule, 2006., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
