Group in Logic and the Methodology of Science
Parent: UC Berkeley
eScholarship stats: History by Item for September through December, 2024
Item | Title | Total requests | 2024-12 | 2024-11 | 2024-10 | 2024-09 |
---|---|---|---|---|---|---|
2vp2x4rx | A Semantic Hierarchy for Intuitionistic Logic | 151 | 32 | 46 | 37 | 36 |
9ts1b228 | Possibility Semantics | 132 | 37 | 34 | 32 | 29 |
0tm6b30q | Possibility Frames and Forcing for Modal Logic (February 2018) | 89 | 25 | 29 | 23 | 12 |
9hd0g86c | Arrow's Decisive Coalitions | 81 | 16 | 21 | 24 | 20 |
2nn3c35x | The Logic of Comparative Cardinality | 70 | 24 | 17 | 18 | 11 |
1m3156ps | Logics of Imprecise Comparative Probability | 66 | 21 | 14 | 18 | 13 |
27k2f44p | Another Problem in Possible World Semantics | 63 | 11 | 16 | 19 | 17 |
5039n29t | A partial-state space model of unawareness | 60 | 22 | 12 | 18 | 8 |
2g73d7qv | Voting Theory in the Lean Theorem Prover | 48 | 18 | 8 | 16 | 6 |
6w21t4jn | Inquisitive Intuitionistic Logic | 48 | 13 | 15 | 13 | 7 |
69f4t1wg | Algebraic and topological semantics for inquisitive logic via choice-free duality | 47 | 14 | 8 | 13 | 12 |
0379725f | On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames | 43 | 10 | 8 | 16 | 9 |
5jw0p2mz | Axiomatization in the Meaning Sciences | 41 | 15 | 10 | 8 | 8 |
4w2083v3 | Three roads to complete lattices: orders, compatibility, polarity | 38 | 13 | 7 | 11 | 7 |
46r5502v | A note on Murakami’s theorems and incomplete social choice without the Pareto principle | 37 | 12 | 7 | 12 | 6 |
303338xr | A Note on Algebraic Semantics for S5 with Propositional Quantifiers | 36 | 7 | 10 | 15 | 4 |
46w023hs | One Modal Logic to Rule Them All? | 36 | 7 | 15 | 9 | 5 |
37z3r3t4 | Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers | 35 | 9 | 12 | 10 | 4 |
40c139d1 | Preferential Structures for Comparative Probabilistic Reasoning | 35 | 14 | 6 | 8 | 7 |
00p6t2v4 | Choice-free Stone duality | 34 | 7 | 6 | 11 | 10 |
57q7t509 | Compatibility, compossibility, and epistemic modality | 33 | 10 | 11 | 6 | 6 |
78v634pc | B-Frame Duality | 31 | 10 | 7 | 10 | 4 |
1159j6ck | Reflection ranks and ordinal analysis | 30 | 8 | 7 | 10 | 5 |
0ss5z8g3 | The Orthologic of Epistemic Modals | 29 | 7 | 8 | 8 | 6 |
2s0134zx | Locales, Nuclei, and Dragalin Frames | 29 | 8 | 6 | 13 | 2 |
8br2b074 | Inferring Probability Comparisons | 28 | 9 | 3 | 10 | 6 |
881757qn | A Representation Theorem for Possibility Models | 27 | 7 | 6 | 7 | 7 |
07v9360j | One Modal Logic to Rule Them All? (Extended Technical Report) | 26 | 6 | 11 | 7 | 2 |
80n21914 | Completeness for an Intuitionistic Modal Logic of Vagueness | 25 | 7 | 6 | 8 | 4 |
9pm9t4vp | Partiality and Adjointness in Modal Logic | 25 | 4 | 5 | 11 | 5 |
1bf3g4fn | On the Logics with Propositional Quantifiers Extending S5Π | 24 | 12 | 3 | 8 | 1 |
9v11r0dq | Possibility Frames and Forcing for Modal Logic (June 2016) | 24 | 8 | 8 | 6 | 2 |
2h5069pq | A Bimodal Perspective on Possibility Semantics | 23 | 4 | 4 | 8 | 7 |
7476g21w | On the Logic of Belief and Propositional Quantification | 23 | 8 | 6 | 8 | 1 |
8bp759nc | A fundamental non-classical logic | 23 | 7 | 5 | 8 | 3 |
5462j5b6 | Possibility Frames and Forcing for Modal Logic | 22 | 6 | 6 | 4 | 6 |
01p9x1hv | Complete Additivity and Modal Incompleteness | 21 | 4 | 7 | 8 | 2 |
2kf0p9bg | Results in Modal Correspondence Theory for Possibility Semantics | 19 | 4 | 4 | 7 | 4 |
7d43h924 | Choice-free representation of ortholattices | 18 | 5 | 5 | 5 | 3 |
8pp4d94t | Complete Additivity and Modal Incompleteness | 18 | 3 | 3 | 8 | 4 |
4z83s9z9 | Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics | 16 | 4 | 3 | 6 | 3 |
8ht6w3kk | First-order possibility models and finitary completeness proofs | 16 | 4 | 6 | 4 | 2 |
65r7m9jr | ULTRAHOMOGENEOUS AND EXISTENTIALLY CLOSED HEYTING ALGEBRAS | 13 | 3 | 2 | 5 | 3 |
5q9634jv | Scott Ranks of Models of a Theory | 12 | 3 | 5 | 3 | 1 |
5hx1k7mw | Intuitionism and Nuclei | 11 | 4 | 5 | 2 | |
8t17f71z | Incompleteness and jump hierarchies | 11 | 3 | 1 | 4 | 3 |
1w71d5g8 | Fine's canonicity theorem for some classes of neighborhood frames | 10 | 2 | 2 | 3 | 3 |
7t12914n | Modal Correspondence Theory for Possibility Semantics | 10 | 2 | 5 | 3 | |
7sc8x8c4 | Indicative Conditionals and Dynamic Epistemic Logic | 9 | 2 | 2 | 5 | |
1fm9h9bq | ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR | 8 | 2 | 3 | 3 |
Note: Due to the evolving nature of web traffic, the data presented here should be considered approximate and subject to revision. Learn more.