Logical Aspects in the Study of Tree Languages