Thermo-Mechanical Interaction Logic