Vedran Cacic

According to our database¹, Vedran Cacic authored at least 4 papers between 2013 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

A Modern Rigorous Approach to Stratification in NF/NFU.

[BibT_eX]

[DOI]

Logica Universalis, 2022

2021

Computable subcontinua of semicomputable chainable Hausdorff continua.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

2015

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

[BibT_eX]

[DOI]

Arch. Math. Log., 2015

2013

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

[BibT_eX]

[DOI]

Stud Logica, 2013