

A generalization of the infinitely deep languages of Hintikka and rantala
pp. 101-112
in: Esa Saarinen, Risto Hilpinen, Ilkka Niiniluoto, Merrill Provence Hintikka (eds), Essays in honour of Jaakko Hintikka, Berlin, Springer, 1979Abstract
Jaakko Hintikka and Veikko Rantala define in [2] infinitary languages in which sentences may be of infinite depth. Recall that the syntactic structure of the sentences of ordinary finitary as well as infinitary logic may be described in terms of certain trees.