pid type title authors mentors source_title published_date url doi isbn issn eissn pmf:9686 dissertation "On logics and semantics for interpretability" "Mikec, Luka" pmf:5306 thesis "Topološka potpunost logika dokazivosti" "Mikec, Luka"