Systolic tree omega-languages: the operational and the logical view