Folgen
Vedran Čačić
Vedran Čačić
Department of Mathematics, Faculty of Science, University of Zagreb
Bestätigte E-Mail-Adresse bei math.hr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A note on bisimulation and modal equivalence in provability logic and Interpretability Logic
V Čačić, D Vrgoč
Studia Logica 101, 31-44, 2013
92013
A note on normal forms for the closed fragment of system IL
V Čačić, M Vuković
Mathematical communications 17 (1), 195-204, 2012
52012
Zbirka zadataka iz teorije skupova, web-izdanje, PMF-MO, Zagreb, 2009
FM Brückler, V Cacic, M Doko, M Vukovic
5
Zbirka zadataka iz teorije skupova
FM Brückler, V Čačić, M Doko, M Vuković
Sveucilište u Zagrebu, PMF-Matematicki odsjek, Zagreb, 2009
42009
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
22015
Decorated linear order types and the theory of concatenation
V Čačić, P Pudlák, G Restall, A Urquhart, A Visser
Logic Group Preprint Series 258, 2007
22007
A Modern Rigorous Approach to Stratification in NF/NFU
T Adlešić, V Čačić
Logica Universalis 16 (3), 451-468, 2022
2022
Computable subcontinua of semicomputable chainable Hausdorff continua
V Čačić, M Horvat, Z Iljazović
Theoretical Computer Science 892, 155-169, 2021
2021
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
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ć, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20