On the complexity of stratified logics