Normal forms in modal logic