Interaction detection, a logical approach