Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA