Group in Logic and the Methodology of Science
Parent: UC Berkeley
eScholarship stats: Breakdown by Item for May through August, 2026
| Item | Title | Total requests | Download | View-only | %Dnld |
|---|---|---|---|---|---|
| 2vp2x4rx | A Semantic Hierarchy for Intuitionistic Logic | 615 | 70 | 545 | 11.4% |
| 9ts1b228 | Possibility Semantics | 387 | 83 | 304 | 21.4% |
| 00p6t2v4 | Choice-free Stone duality | 361 | 53 | 308 | 14.7% |
| 1159j6ck | Reflection ranks and ordinal analysis | 280 | 48 | 232 | 17.1% |
| 0tm6b30q | Possibility Frames and Forcing for Modal Logic (February 2018) | 268 | 61 | 207 | 22.8% |
| 9hd0g86c | Arrow's Decisive Coalitions | 264 | 59 | 205 | 22.3% |
| 01p9x1hv | Complete Additivity and Modal Incompleteness | 261 | 30 | 231 | 11.5% |
| 37z3r3t4 | Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers | 260 | 52 | 208 | 20.0% |
| 78v634pc | B-Frame Duality | 224 | 50 | 174 | 22.3% |
| 9v11r0dq | Possibility Frames and Forcing for Modal Logic (June 2016) | 218 | 64 | 154 | 29.4% |
| 1m3156ps | Logics of Imprecise Comparative Probability | 214 | 56 | 158 | 26.2% |
| 0379725f | On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames | 199 | 71 | 128 | 35.7% |
| 2g73d7qv | Voting Theory in the Lean Theorem Prover | 192 | 40 | 152 | 20.8% |
| 2s0134zx | Locales, Nuclei, and Dragalin Frames | 187 | 42 | 145 | 22.5% |
| 57q7t509 | Compatibility, compossibility, and epistemic modality | 187 | 52 | 135 | 27.8% |
| 9pm9t4vp | Partiality and Adjointness in Modal Logic | 185 | 34 | 151 | 18.4% |
| 8bp759nc | A fundamental non-classical logic | 178 | 44 | 134 | 24.7% |
| 27k2f44p | Another Problem in Possible World Semantics | 175 | 43 | 132 | 24.6% |
| 2nn3c35x | The Logic of Comparative Cardinality | 173 | 48 | 125 | 27.7% |
| 07v9360j | One Modal Logic to Rule Them All? (Extended Technical Report) | 169 | 38 | 131 | 22.5% |
| 0ss5z8g3 | The Orthologic of Epistemic Modals | 169 | 64 | 105 | 37.9% |
| 5039n29t | A partial-state space model of unawareness | 166 | 36 | 130 | 21.7% |
| 6w21t4jn | Inquisitive Intuitionistic Logic | 166 | 63 | 103 | 38.0% |
| 46r5502v | A note on Murakami’s theorems and incomplete social choice without the Pareto principle | 165 | 47 | 118 | 28.5% |
| 303338xr | A Note on Algebraic Semantics for S5 with Propositional Quantifiers | 162 | 53 | 109 | 32.7% |
| 46w023hs | One Modal Logic to Rule Them All? | 160 | 54 | 106 | 33.8% |
| 5jw0p2mz | Axiomatization in the Meaning Sciences | 153 | 44 | 109 | 28.8% |
| 2h5069pq | A Bimodal Perspective on Possibility Semantics | 147 | 43 | 104 | 29.3% |
| 69f4t1wg | Algebraic and topological semantics for inquisitive logic via choice-free duality | 147 | 42 | 105 | 28.6% |
| 881757qn | A Representation Theorem for Possibility Models | 146 | 45 | 101 | 30.8% |
| 5462j5b6 | Possibility Frames and Forcing for Modal Logic | 140 | 57 | 83 | 40.7% |
| 2kf0p9bg | Results in Modal Correspondence Theory for Possibility Semantics | 139 | 46 | 93 | 33.1% |
| 1bf3g4fn | On the Logics with Propositional Quantifiers Extending S5Π | 138 | 59 | 79 | 42.8% |
| 5hx1k7mw | Intuitionism and Nuclei | 133 | 44 | 89 | 33.1% |
| 4w2083v3 | Three roads to complete lattices: orders, compatibility, polarity | 131 | 50 | 81 | 38.2% |
| 4z83s9z9 | Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics | 130 | 24 | 106 | 18.5% |
| 40c139d1 | Preferential Structures for Comparative Probabilistic Reasoning | 127 | 39 | 88 | 30.7% |
| 7476g21w | On the Logic of Belief and Propositional Quantification | 127 | 28 | 99 | 22.0% |
| 80n21914 | Completeness for an Intuitionistic Modal Logic of Vagueness | 126 | 35 | 91 | 27.8% |
| 65r7m9jr | ULTRAHOMOGENEOUS AND EXISTENTIALLY CLOSED HEYTING ALGEBRAS | 110 | 52 | 58 | 47.3% |
| 7t12914n | Modal Correspondence Theory for Possibility Semantics | 106 | 43 | 63 | 40.6% |
| 1w71d5g8 | Fine's canonicity theorem for some classes of neighborhood frames | 104 | 39 | 65 | 37.5% |
| 8br2b074 | Inferring Probability Comparisons | 104 | 45 | 59 | 43.3% |
| 8t17f71z | Incompleteness and jump hierarchies | 97 | 42 | 55 | 43.3% |
| 8ht6w3kk | First-order possibility models and finitary completeness proofs | 96 | 41 | 55 | 42.7% |
| 0zv7r0p3 | The complexity of computable categoricity | 92 | 34 | 58 | 37.0% |
| 7d43h924 | Choice-free representation of ortholattices | 91 | 30 | 61 | 33.0% |
| 8pp4d94t | Complete Additivity and Modal Incompleteness | 86 | 41 | 45 | 47.7% |
| 40j0v0hb | A note on the consistency operator | 82 | 35 | 47 | 42.7% |
| 9910d3kq | A computability theoretic equivalent to Vaught's conjecture | 75 | 35 | 40 | 46.7% |
Note: Due to the evolving nature of web traffic, the data presented here should be considered approximate and subject to revision. Learn more.