A new approach to infinitary languages
✍
Jaakko Hintikka; Veikko Rantala
📂
Article
📅
1976
🏛
Elsevier Science
⚖ 660 KB
This paper is of heuristic and explorative character. Our aim is to explain a new conceptual tool for the study of infinitary logics (infinitary languages) and to illustrate its uses. For the former purpose, explicit formal definitions may be more of an obstacle than a help, and for the latter purpo