transparentní intenzionální logika