intenzionální logika