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 14
Property theory and the revision theory of definitions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-246
-
- Article
- Export citation
- Cited by 14
Returning to semi-bounded sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 597-617
-
- Article
- Export citation
- Cited by 14
Effective operations in a general setting
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-178
-
- Article
- Export citation
- Cited by 14
Intensional logic and two-sorted type theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-77
-
- Article
- Export citation
- Cited by 14
Towards a characterization of order-invariant queries over tame graphs
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-186
-
- Article
- Export citation
- Cited by 14
Imbedding of the quantum logic in the modal system of Brower
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-328
-
- Article
- Export citation
- Cited by 14
On the indexing of classes of recursively enumerable sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 10-22
-
- Article
- Export citation
- Cited by 14
On quasiminimal excellent classes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 551-564
-
- Article
- Export citation
- Cited by 14
Logics which capture complexity classes over the reals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-390
-
- Article
- Export citation
- Cited by 14
On Downey's conjecture
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-441
-
- Article
- Export citation
- Cited by 14
An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-237
-
- Article
- Export citation
- Cited by 14
Admissibility of structural rules for contraction-free systems of intuitionistic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1499-1518
-
- Article
- Export citation
- Cited by 14
Groundwork for weak analysis
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-578
-
- Article
- Export citation
- Cited by 14
Index sets of finite classes of recursively enumerable sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-44
-
- Article
- Export citation
- Cited by 14
Co-immune subspaces and complementation in V∞
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 528-538
-
- Article
- Export citation
- Cited by 14
Hypergraph sequences as a tool for saturation of ultrapowers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-223
-
- Article
- Export citation
- Cited by 14
Théories instables
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-522
-
- Article
- Export citation
- Cited by 14
On parameter free induction schemas
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1082-1097
-
- Article
- Export citation
- Cited by 14
On the basic logic of STIT with a single agent
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 459-483
-
- Article
- Export citation
- Cited by 14
A note on the hyperarithmetical hierarchy
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 429-430
-
- Article
- Export citation