This paper discusses aspects of the planning of explanatory texts for logic based systems. It presentsa methodfor derivingNaturalLanguagetext plansfrom Natural Deduction-basedstructures. This approach allows for the planning of explanatory texts in a general-purpose logicbasedsystemframework,ensuringa greater degree of portability across domains.