Tin Perkov
Tin Perkov
University of Zagreb, Faculty of Teacher Education, Chair of Mathematics and Statistics
Geverifieerd e-mailadres voor ufzg.hr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
A generalization of modal frame definability
T Perkov
Pristine Perspectives on Logic, Language, and Computation, 142-153, 2013
102013
Natural deduction for modal logic of judgment aggregation
T Perkov
Journal of Logic, Language and Information 25 (3-4), 335-354, 2016
9*2016
Filtrations of generalized Veltman models
T Perkov, M Vuković
Mathematical Logic Quarterly 62 (4-5), 412-419, 2016
72016
Decidability of interpretability logics ILM_0 and ILW*
L Mikec, T Perkov, M Vuković
Logic Journal of the IGPL 25 (5), 758-772, 2017
52017
Some characterization and preservation theorems in modal logic
T Perkov, M Vuković
Annals of Pure and Applied Logic 163 (12), 1928-1939, 2012
52012
Towards a generalization of modal definability
T Perkov
New Directions in Logic, Language and Computation, 130-139, 2010
42010
A bisimulation characterization for interpretability logic
T Perkov, M Vuković
Logic Journal of IGPL 22, 872-879, 2014
32014
Semantike logika dokazivosti i interpretabilnosti
T Perkov, M Vukovi
Lecture notes, Faculty of science, University of Zagreb, 2017
12017
Tableau-based bisimulation invariance testing
T Perkov
Reports on Mathematical Logic 48, 101-115, 2013
12013
Existential definability of modal frame classes
T Perkov, L Mikec
Mathematical Logic Quarterly 66 (3), 316-325, 2020
2020
The McCulloch–Pitts Paper from the Perspective of Mathematical Logic
T Perkov
Guide to Deep Learning Basics, 7-12, 2020
2020
Topološka semantika modalne logike
T Perkov, B Pažek
Math. e 36 (1), 41-51, 2019
2019
Tableau-based translation from first-order logic to modal logic
T Perkov
Middlesex University London, 2019
2019
Techniques and results concerning relationships between modal 9-logics
L Mikec, T Perkov
2019
Gauss's Easter algorithm
T Perkov
Matematika i škola 20, 184-186, 2019
2019
Logic and creativity [in Croatian]
T Perkov
Godišnji simpozij Hrvatskog filozofskog društva" Filozofija i stvaralaštvo", 2018
2018
Abstract logical constants
T Perkov
Logica Universalis 12 (3-4), 341-350, 2018
2018
Existentially valid formulas corresponding to some normal modal logics
L Mikec, T Perkov
AiML 2018, 76-80, 2018
2018
Problem book in mathematics for students of teacher education [in Croatian]
MJ Devčić, T Perkov, G Trupčević, P Vuković
Učiteljski fakultet Sveučilišta u Zagrebu, 2018
2018
Topological semantics of provability logics [in Croatian]
L Mikec, T Perkov
Math. e: hrvatski matematički elektronski časopis 32, 38-52, 2017
2017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20