Most cited
This page lists all time most cited articles for this title. Please use the publication date filters on the left if you would like to restrict this list to recently published content, for example to articles published in the last three years. The number of times each article was cited is displayed to the right of its title and can be clicked to access a list of all titles this article has been cited by.
- Cited by 3
Summer Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-286
-
- Article
- Export citation
- Cited by 3
Separation principles in the hierarchy theory of pure first-order logic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-236
-
- Article
- Export citation
- Cited by 3
Modal functions in two-valued logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-128
-
- Article
- Export citation
- Cited by 3
Jean H. Gallier. Logic for computer science. Foundations of automatic theorem proving. Harper & Row computer science and technology series. Harper & Row, New York1986, xv + 511 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
-
- Article
- Export citation
- Cited by 3
Willard van Orman Quine. Foreword, 1980. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. vii–ix. - Willard Van Orman Quine. On what there is. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 1–19. - Willard Van Orman Quine. Two dogmas of empiricism. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 20–46. - Willard Van Orman Quine. The problem of meaning in linguistics. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 47–64. - Willard Van Orman Quine. Identity, ostension, and hypostasis. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 65–79. - Willard Van Orman Quine. New foundations for mathematical logic. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 80–101. - Willard Van Orman Quine. Logic and the reification of universals. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 102–129. - Willard Van Orman Quine. Notes on the theory of reference. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 130–138. - Willard Van Orman Quine. Reference and modality. A revised reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 139–159. - Willard Van Orman Quine. Meaning and existential inference. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 160–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-231
-
- Article
- Export citation
- Cited by 3
Remarks on unimodularity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1453-1458
-
- Article
- Export citation
- Cited by 3
On Σ11 equivalence relations with Borel classes of bounded rank1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1273-1283
-
- Article
- Export citation
- Cited by 3
Liftez les sylows! Une suite à “Sous-groupes périodiques d'un groupe stable”
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 703-704
-
- Article
- Export citation
- Cited by 3
Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 403–415. - Dexter Kozen and Rohit Parikh. An elementary proof of the completeness of PDL. Theoretical computer science, vol. 14(1981), pp. 113–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-227
-
- Article
- Export citation
- Cited by 3
NS SATURATED AND ${\Delta }_{1}$ -DEFINABLE
- Part of:
-
- Published online by Cambridge University Press:
- 16 February 2021, pp. 25-59
-
- Article
- Export citation
- Cited by 3
Finite variable logic, stability and finite models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 837-858
-
- Article
- Export citation
- Cited by 3
William Craig. Replacement of auxiliary expressions. The philosophical review, vol. 65 (1956), pp. 38–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 317-318
-
- Article
- Export citation
- Cited by 3
MINIMUM MODELS OF SECOND-ORDER SET THEORIES
-
- Published online by Cambridge University Press:
- 08 April 2019, pp. 589-620
-
- Article
- Export citation
- Cited by 3
PROOF MINING IN Lp SPACES
-
- Published online by Cambridge University Press:
- 29 August 2019, pp. 1612-1629
-
- Article
- Export citation
- Cited by 3
On a result of Szemerédi
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 953-956
-
- Article
- Export citation
- Cited by 3
Madison 1970 meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-378
-
- Article
- Export citation
- Cited by 3
On the structure of the Medvedev lattice
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 543-558
-
- Article
- Export citation
- Cited by 3
Carlos Vaz Fekreira. Transcendentalizaciones matemáticas ilegítimas y falacias correlacionadas. Versión taquigráfica de las conferencias pronunciadas en la Facultad de Filosofía y Letras de Buenos Aires. Publicaciones de filosofía contemporánea, vol. 2. Universidad de Buenos Aires, Facultad de Filosofía y Letras, Instituto de Filosofía, Buenos Aires1940, 44 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
-
- Article
- Export citation
- Cited by 3
ℵ0-Complete cardinals and transcendency of cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 452-472
-
- Article
- Export citation
- Cited by 3
THE Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE
- Part of:
-
- Published online by Cambridge University Press:
- 08 January 2021, pp. 783-801
-
- Article
- Export citation