Pregled po CROSBI profilu: Tin Perkov (CROSBI Profil: 32306, MBZ: 341135)
Pronađeno 40 radova
-
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
