Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics