Vedran Čačić
Vedran Čačić
Department of Mathematics, Faculty of Science, University of Zagreb
Geverifieerd e-mailadres voor math.hr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
A note on bisimulation and modal equivalence in provability logic and interpretability logic
V Čačić, D Vrgoč
Studia Logica 101 (1), 31-44, 2013
42013
A note on normal forms for the closed fragment of system IL
V Čačić, M Vuković
Mathematical communications 17 (1), 195-204, 2012
42012
Decorated linear order types and the theory of concatenation
V Čačić, P Pudlák, G Restall, A Urquhart, A Visser
Proceedings of Logic Colloquium 2007, 1, 2007
22007
On the share of closed IL formulas which are also in GL
V Čačić, V Kovač
Archive for mathematical logic 54 (7-8), 741-767, 2015
12015
Rearranging absolutely convergent well-ordered series in Banach spaces
V Čačić, M Doko, M Horvat
Rad Hrvatske akademije znanosti i umjetnosti: Matematičke znanosti, 1-11, 2019
2019
Complexity of some fragments of description logics
V Čačić, EV Kostylev, JL Reutter, D Vrgoć
Logic Colloquium 2019, 232, 2019
2019
Logičko programiranje
V Čačić, P Paradžik, M Vuković
Math. e 26 (1), 1-17, 2014
2014
Interpretability logic IL does not have finite subtree property
V Čačić, M Vuković
Rad Hrvatske akademije znanosti i umjetnosti. Matematičke znanosti, 1-5, 2014
2014
Normal forms and finite model property for Interpretability logic
V Čačić
Prirodoslovno-matematički fakultet, Sveučilište u Zagrebu, 2011
2011
Towards the normal form theorem for Interpretability logic
V Čačić
Logic Colloquium, 2010
2010
Changing the order of summation for series beyond omega
V Čačić, M Doko, M Horvat, D Vrgoč
Logic Colloquium 2009, 2010
2010
Problems in Set Theory
F Bruckler, V Čačić, M Doko, M Vuković
PMF-Matematički odjel, 2008
2008
Independence and relative consistency of Axiom of Choice and Continuum Hypothesis
V Čačić
Prirodoslovno-matematički fakultet, Sveučilište u Zagrebu, 2007
2007
Komputonomikon
V Čačić
Normalne forme i svojstvo konačnih modela za logiku interpretabilnosti
V Čačić
Nezavisnost i relativna konzistentnost aksioma izbora i hipoteze kontinuuma
V Čačić
List of Referees for Submissions Processed in 2016
W Afzal, Ž Agić, A Arcuri, M Bača, SK Bandyopadhyay, H Bogunović, ...
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–17