Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Barwise, J., ‘Absolute Logics and L∞ω’, Ann. of Math Logic 4 (1973), 309–340.
Hintikka, J. and Rantala, V., ‘A New Approach to Infinitary Languages’, Ann. of Math. Logic 10 (1976), 95–115.
Karttunen, M., ‘Infinitary Languages N∞λ Generalized Partial Isomorphisms’, in J. Hintikka, I. Niiniluoto, and E. Saarinen (eds.), Essays on Mathematical and Philosophical Logic, D. Reidel, Dordrecht and Boston, 1978, 153–168.
Keisler, H. J., ‘Formulas with Linearly Ordered Quantifiers’, in The Syntax and Semantics of Infinitary Languages, Lecture Notes in Mathematics 72, Springer-Verlag, Berlin-Heidelberg-New York, 1968, pp. 96–130.
Oikkonen, J., ‘Second Order Definability, Game Quantifiers and Related Expressions’, in Commentationes Physico-Mathematicae 48, no. 1 (1978).
Rantala, V., ‘On the Theory of Definability in First-Order Logic’, Reports from the Institute of Philosophy, University of Helsinki, no. 2, 1973.
Rantala, V., ‘Game Theoretical Semantics and Back-and-Forth’, in the same volume as [3].
Shelah, S., ‘On Languages with Non-Homogeneous Strings of Quantifiers’, Israel Journal of Math. 8 (1970), 75–79.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Oikkonen, J. (1979). A Generalization of the Infinitely Deep Languages of Hintikka and Rantala. In: Saarinen, E., Hilpinen, R., Niiniluoto, I., Hintikka, M.P. (eds) Essays in Honour of Jaakko Hintikka. Synthese Library, vol 124. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9860-5_7
Download citation
DOI: https://doi.org/10.1007/978-94-009-9860-5_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-9862-9
Online ISBN: 978-94-009-9860-5
eBook Packages: Springer Book Archive