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