Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions