These formalisms do not have the necessary expressive power to capture natural languages (which require at least mild context-sensitivity).
more expressive variants have been proposed, for example the multi-modal variant (MMCG) where applicability of postulates is controlled through the use of modal operators in the lexicon.