1. Beth, E.W.: Semantic entailment and formal derivability. In: Hintikka, J. (ed.) The Philosophy of Mathematics, pp. 9–41. Oxford University Press, Oxford (1969). Originally published in 1955 as Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen. Afdeling Letterkunde, N.R. 19(13), Amsterdam, pp. 309–342 (1969/1955)
2. Fontaine, M.: Hintikka, free logician. Singular terms in world lines semantics. Log. Univers. (2018).
https://doi.org/10.1007/s11787-018-0197-4
3. Henkin, L.: Some remarks on infinitely long formulas. In: Finitistic Methods: Proceedings of the Symposium on Foundation of Mathematics, Warsaw (1961)
4. Hintikka, J.: A new approach to sentential logic. Soc. Sci. Fenn. Comment. Phys. Math. 17(3), 1–14 (1953)
5. Hintikka, J.: Form and content in quantification theory. Acta Philos. Fenn. 8, 11–55 (1955)