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
J. A. Robinson. Automatic deduction with hyper-resolution. International journal of computer mathematics, vol. 1 no. 3 (1965), pp. 227–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-190
-
- Article
- Export citation
- Cited by 3
Reflecting in epistemic arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 788-801
-
- Article
- Export citation
- Cited by 3
Taking out LK parts from a proof in Peano arithmetic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 682-700
-
- Article
- Export citation
- Cited by 3
Some elementary results in intuitionistic model theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 745-767
-
- Article
- Export citation
- Cited by 3
A. H. Lachlan. A note on Thomason's refined structures for tense logics. Theoria, vol. 40(1974), pp. 117–120. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Ranger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - R. I. Goldblatt and S. K. Thomason. Axiomatic classes in propositional modal logic. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 163–173. - R. I. Goldblatt. First-order definability in modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 35–40. - J. F. A. K. van Benthem. A note on modal formulae and relational properties. The journal of symbolic logic, vol. 40 (1975), pp. 55–58. - S. K. Thomason. Categories of frames for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 439–442. - R. I. Goldblatt. Metamathematics of modal logic. Part I. Reports on mathematical logic, vol. 6 (1976), pp. 41–77. - R. I. Goldblatt. Metamathematics of modal logic. Part II. Reports on mathematical logic, vol. 7 (1976), pp. 21–52. - J. F. A. K. van Benthem. Modal formulas are either elementary or not Σ⊿-elementary. The journal of symbolic logic, vol. 41 (1976), pp. 436–438. - J. F. A. K. van Benthem. Canonical modal logics and ultrafilter extensions. The journal of symbolic logic, vol. 44 (1979), pp. 1–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 440-445
-
- Article
- Export citation
- Cited by 3
Rings which admit elimination of quantifiers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-58
-
- Article
- Export citation
- Cited by 3
WEIHRAUCH GOES BROUWERIAN
- Part of:
-
- Published online by Cambridge University Press:
- 30 October 2020, pp. 1614-1653
-
- Article
- Export citation
- Cited by 3
Remarks on some theorems of Keisler
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 571-576
-
- Article
- Export citation
- Cited by 3
Intuitionistic completeness for first order classical logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-312
-
- Article
- Export citation
- Cited by 3
An ordinal partition avoiding pentagrams
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 969-978
-
- Article
- Export citation
- Cited by 3
A computable ℵ0-categorical structure whose theory computes true arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 728-740
-
- Article
- Export citation
- Cited by 3
Groupoids, covers, and 3-uniqueness in stable theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 905-929
-
- Article
- Export citation
- Cited by 3
NORMAL NUMBERS AND COMPLETENESS RESULTS FOR DIFFERENCE SETS
-
- Published online by Cambridge University Press:
- 21 March 2017, pp. 247-257
-
- Article
- Export citation
- Cited by 3
Markov's principle, isols and Dedekind finite sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1042-1069
-
- Article
- Export citation
- Cited by 3
Saturation of homogeneous resplendent models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-224
-
- Article
- Export citation
- Cited by 3
BASES AND BOREL SELECTORS FOR TALL FAMILIES
-
- Published online by Cambridge University Press:
- 30 January 2019, pp. 359-375
-
- Article
-
- You have access
- Export citation
- Cited by 3
AXIOMATIZATION OF PROVABLE n-PROVABILITY
-
- Published online by Cambridge University Press:
- 08 February 2019, pp. 849-869
-
- Article
- Export citation
- Cited by 3
Copeland algebras1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 646-656
-
- Article
- Export citation
- Cited by 3
A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 447-474
-
- Article
- Export citation
- Cited by 3
A ${\rm{\Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${\rm{NS}}_{\omega _1 } $ SATURATED
-
- Published online by Cambridge University Press:
- 16 July 2019, pp. 1466-1483
-
- Article
- Export citation