Vedran Cacic

According to our database, Vedran Cacic authored at least 6 papers between 2013 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Boffa's construction and models for NFU.

Tin Adlesic, Vedran Cacic

Stud Logica, April, 2026

Computable Approximations of Semicomputable Graphs.

Vedran Cacic, Matea Celar, Marko Horvat, Zvonko Iljazovic

Log. Methods Comput. Sci., 2026

2022

A Modern Rigorous Approach to Stratification in NF/NFU.

Tin Adlesic, Vedran Cacic

Logica Universalis, 2022

2021

Computable subcontinua of semicomputable chainable Hausdorff continua.

Vedran Cacic, Marko Horvat, Zvonko Iljazovic

Theor. Comput. Sci., 2021

2015

On the share of closed IL formulas which are also in GL.

Vedran Cacic, Vjekoslav Kovac

Arch. Math. Log., 2015

2013

A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.

Vedran Cacic, Domagoj Vrgoc

Stud Logica, 2013