A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic. - Vedran Cacic; Domagoj Vrgoc (Stud Logica, 2013)

On the share of closed IL formulas which are also in GL. - Vedran Cacic; Vjekoslav Kovac (Arch. Math. Log., 2015)

Computable subcontinua of semicomputable chainable Hausdorff continua. - Vedran Cacic; Marko Horvat; Zvonko Iljazovic (Theor. Comput. Sci., 2021)

A Modern Rigorous Approach to Stratification in NF/NFU. - Tin Adlesic; Vedran Cacic (Logica Universalis, 2022)

Computable Approximations of Semicomputable Graphs. - Vedran Cacic; Matea Celar; Marko Horvat; Zvonko Iljazovic (CoRR, 2024)