On Tame Semantics for Interpretability Logic. - Vicent Navarro Arroyo; Joost J. Joosten (WoLLIC, 2025)