Follow
Vedran Čačić
Vedran Čačić
Department of Mathematics, Faculty of Science, University of Zagreb
Verified email at math.pmf.unizg.hr - Homepage
Title
Cited by
Cited by
Year
A note on bisimulation and modal equivalence in provability logic and Interpretability Logic
V Čačić, D Vrgoč
Studia Logica 101, 31-44, 2013
102013
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
Computable subcontinua of semicomputable chainable Hausdorff continua
V Čačić, M Horvat, Z Iljazović
Theoretical Computer Science 892, 155-169, 2021
32021
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
12022
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
12014
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU
T Adlešić, V Čačić
Bulletin of the Section of Logic 52 (4), 551-581, 2023
2023
Tarski's theorem about choice and the alternative axiomatic extension of NFU
T Adlešić, V Čačić
Bulletin of the Section of Logic, 31 pp.-31 pp., 2023
2023
Logical induction
V Čačić
World Logic Day 2023 Zagreb Book of Abstracts, 3-3, 2023
2023
Formalizing assignment of types to terms in NFU.
T Adlešić, V Čačić
2022 LOGIC COLLOQUIUM: SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC …, 2022
2022
Alternative axiomatization of NFU
T Adlešić, V Čačić
Logic and Applications LAP 2022, 5-6, 2022
2022
Formal approach to stratification in NF/NFU
T Adlešić, V Čačić
Logic and Applications LAP 2021, 5-6, 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
Normalne forme i svojstvo konačnih modela za logiku interpretabilnosti
V Čačić
Prirodoslovno-matematički fakultet, Zagreb, 2011
2011
Normal forms and finite model property for Interpretability logic
V Čačić
Prirodoslovno-matematički fakultet, Sveučilište u Zagrebu, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20