О рекурсивной аппроксимируемости модальных и суперинтуиционистских логикстатья