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 58
Distance semantics for belief revision
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-317
-
- Article
- Export citation
- Cited by 58
Weihrauch degrees, omniscience principles and weak computability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-176
-
- Article
- Export citation
- Cited by 57
The axiomatization of randomness
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1167
-
- Article
- Export citation
- Cited by 57
Credibility limited revision
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1581-1596
-
- Article
- Export citation
- Cited by 57
Logic and time1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 566-582
-
- Article
- Export citation
- Cited by 57
Computational randomness and lowness*
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1199-1205
-
- Article
- Export citation
- Cited by 57
A partial functions version of Church's simple theory of types
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1269-1291
-
- Article
- Export citation
- Cited by 57
An introduction to forking
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-350
-
- Article
- Export citation
- Cited by 56
Mitotic recursively enumerable sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-211
-
- Article
- Export citation
- Cited by 56
On n-quantifier induction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-482
-
- Article
- Export citation
- Cited by 56
Belief contraction in the context of the general theory of rational choice
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1426-1450
-
- Article
- Export citation
- Cited by 55
A propositional logic with subjunctive conditionals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-343
-
- Article
- Export citation
- Cited by 55
Foundations of mathematics for the working mathematician
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-8
-
- Article
- Export citation
- Cited by 55
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-358
-
- Article
- Export citation
- Cited by 55
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 721-743
-
- Article
- Export citation
- Cited by 55
Hauptsatz for higher order logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 452-457
-
- Article
- Export citation
- Cited by 54
Rules of inference with parameters for intuitionistic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 912-923
-
- Article
- Export citation
- Cited by 54
The lattice of modal logics: an algebraic investigation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-236
-
- Article
- Export citation
- Cited by 54
A. M. Turing. On computable numbers, with an application to the Entscheidungs problcm. Proceedings of the London Mathematical Society, 2 s. vol. 42 (1936–1937), pp. 230–265.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 42-43
-
- Article
- Export citation
- Cited by 54
On definable subsets of p-adic fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-610
-
- Article
- Export citation