Shallow Models for Non-Iterative Modal Logics