Hierarchical meta-logics for belief and provability: how we can do without modal logics