Switch to: Citations

References in:

A new approach to infinitary languages

J. Hintikka

Annals of Mathematical Logic 10 (1):95 (1976)

Add references

You must login to add references.

(1 other version)Logic with denumerably long formulas and finite strings of quantifiers.Dana Scott - 1965 - Journal of Symbolic Logic 36 (1):1104--329.details Download Export citation Bookmark 33 citations
(1 other version)Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.details Download Export citation Bookmark 103 citations
(1 other version)Some Remarks on Infinitely Long Formulas.L. Henkin & Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (1):96-97.details Download Export citation Bookmark 38 citations
(1 other version)Logic with Denumerably Long Formulas and Finite Strings of Quantifiers.Dana Scott, J. W. Addison, Leon Henkin & Alfred Tarski - 1971 - Journal of Symbolic Logic 36 (1):157-158.details Download Export citation Bookmark 13 citations
A theorem on permutations in models.Lars Svenonius - 1959 - Theoria 25 (3):173-178.details Download Export citation Bookmark 18 citations
Constituents and finite identifiability.Jaakko Hintikka - 1972 - Journal of Philosophical Logic 1 (1):45 - 52.details Download Export citation Bookmark 2 citations
On the Theory of Definability in First-order Logic.Veikko Rantala - 1973details Download Export citation Bookmark 3 citations

1