Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 206–220. - R. Routley and H. Montgomery. The inadequacy of Kripke's semantical analysis of D2 and D3. The journal of symbolic logic, vol. 33 , p. 568 [Book Review]

Journal of Symbolic Logic 35 (1):135 (1970)
  Copy   BIBTEX

Abstract

Reviews of the papers mentioned in the title.

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200092434

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 390–401. [REVIEW]G. Fuhrken - 1968 - Journal of Symbolic Logic 33 (3):476-477.
W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 132–145. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):127-128.
Freyd Peter. The theories of functors and models. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 107–120. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336.
Schwabhäuser Wolfram. On models of elementary elliptic geometry. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 312–328. [REVIEW]L. W. Szczerba - 1971 - Journal of Symbolic Logic 36 (4):682.
Gebhard Furhken. Languages with added quantifier “there exist at least Nα.”The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 121–131. [REVIEW]A. B. Slomson - 1970 - Journal of Symbolic Logic 35 (2):342.
Karp Carol R.. Finite-quantifier equivalence. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 407–412. [REVIEW]H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (1):158.
Michael Morley. Omitting classes of elements. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 265–273. [REVIEW]E. G. K. Lopez-Escobar - 1968 - Journal of Symbolic Logic 33 (2):286-287.
Scott Dana. Logic with denumerably long formulas and finite strings of quantifiers. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 329–341. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (1):157-158.
J. R. Shoenheld. Applications of model theory to degrees of unsolvability. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 359–363. [REVIEW]Gerald E. Sacks - 1972 - Journal of Symbolic Logic 37 (3):610-611.
Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi.Saul A. Kripke - 1965 - In J. W. Addison (ed.), The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 206-20.
Freyd Peter. The theories of functors and models. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 107–120. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
Simon Kochen. Topics in the theory of definition. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 170–176. - Walter Felscher. On criteria of definability. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 834–836. [REVIEW]H. Jerome Keisler - 1969 - Journal of Symbolic Logic 34 (2):300-301.
Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 70–76. [REVIEW]William Glassmire - 1974 - Journal of Symbolic Logic 39 (2):338.
Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 92–130. [REVIEW]G. Kreisel - 1970 - Journal of Symbolic Logic 35 (2):330-332.
Abraham Robinson. Non-standard analysis. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 64 (1961), pp. 432–440; also Indagationes mathematicae, vol. 23 (1961), pp. 432-440. - Abraham Robinson. Topics in non-Archimedean mathematics. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 285–298. - Abraham Robinson. On generalized limits and linear functionals. Pacific journal of mathematics, vol. 14 (1964), pp. 269–283. - Alan R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos.Pacific journal of mathematics, vol. 16 (1966), pp. 421–431. - Abraham Robinson. Non-standard analysis.Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1966, xi + 293 pp. [REVIEW]Gert Heinz Müller - 1969 - Journal of Symbolic Logic 34 (2):292-294.

Analytics

Added to PP
2016-06-30

Downloads
28 (#538,947)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references