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"