Hierarchical meta-logics: intuitions, proof theory and semantics