همتاهای وجهی برای برخی منطق‌های زیرشهودی