Switch to: Citations

References in:

First-order definability in modal logic

R. I. Goldblatt

Journal of Symbolic Logic 40 (1):35-40 (1975)

Add references

You must login to add references.

An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.details Download Export citation Bookmark 57 citations
Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.details Download Export citation Bookmark 33 citations
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.details Download Export citation Bookmark 61 citations
(2 other versions)Reduction of tense logic to modal logic II.S. K. Thomason - 1975 - Theoria 41 (3):154-169.details Download Export citation Bookmark 12 citations

1