Logics for 4-5 independent temperature events