On Logics and Semantics for Interpretability - Mikec, Luka (2021)