Group in Logic and the Methodology of Science

Parent: UC Berkeley

eScholarship stats: History by Item for May through August, 2026

ItemTitleTotal requests2026-082026-072026-062026-05
2vp2x4rxA Semantic Hierarchy for Intuitionistic Logic61526394130128
9ts1b228Possibility Semantics3871215488124
00p6t2v4Choice-free Stone duality3614372119127
1159j6ckReflection ranks and ordinal analysis280136443466
0tm6b30qPossibility Frames and Forcing for Modal Logic (February 2018)268644352109
9hd0g86cArrow's Decisive Coalitions26493465174
01p9x1hvComplete Additivity and Modal Incompleteness261114244182
37z3r3t4Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers26093284594
78v634pcB-Frame Duality22444515079
9v11r0dqPossibility Frames and Forcing for Modal Logic (June 2016)21869343778
1m3156psLogics of Imprecise Comparative Probability21463263590
0379725fOn the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames19939326662
2g73d7qvVoting Theory in the Lean Theorem Prover19249195074
2s0134zxLocales, Nuclei, and Dragalin Frames18759263765
57q7t509Compatibility, compossibility, and epistemic modality18749333867
9pm9t4vpPartiality and Adjointness in Modal Logic18570253951
8bp759ncA fundamental non-classical logic17846143979
27k2f44pAnother Problem in Possible World Semantics17543144474
2nn3c35xThe Logic of Comparative Cardinality17355322462
07v9360jOne Modal Logic to Rule Them All? (Extended Technical Report)16961173160
0ss5z8g3The Orthologic of Epistemic Modals16944223865
5039n29tA partial-state space model of unawareness16655193854
6w21t4jnInquisitive Intuitionistic Logic16660152962
46r5502vA note on Murakami’s theorems and incomplete social choice without the Pareto principle16536234759
303338xrA Note on Algebraic Semantics for S5 with Propositional Quantifiers16243244946
46w023hsOne Modal Logic to Rule Them All?16052113859
5jw0p2mzAxiomatization in the Meaning Sciences15347142567
2h5069pqA Bimodal Perspective on Possibility Semantics14736144552
69f4t1wgAlgebraic and topological semantics for inquisitive logic via choice-free duality14742183453
881757qnA Representation Theorem for Possibility Models14628164656
5462j5b6Possibility Frames and Forcing for Modal Logic14045132953
2kf0p9bgResults in Modal Correspondence Theory for Possibility Semantics13918232969
1bf3g4fnOn the Logics with Propositional Quantifiers Extending S5Π13835202360
5hx1k7mwIntuitionism and Nuclei1333673456
4w2083v3Three roads to complete lattices: orders, compatibility, polarity13144142053
4z83s9z9Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics1304053253
40c139d1Preferential Structures for Comparative Probabilistic Reasoning12724242554
7476g21wOn the Logic of Belief and Propositional Quantification12738103742
80n21914Completeness for an Intuitionistic Modal Logic of Vagueness12625103556
65r7m9jrULTRAHOMOGENEOUS AND EXISTENTIALLY CLOSED HEYTING ALGEBRAS11023191949
7t12914nModal Correspondence Theory for Possibility Semantics10625141552
1w71d5g8Fine's canonicity theorem for some classes of neighborhood frames1041972157
8br2b074Inferring Probability Comparisons10428101947
8t17f71zIncompleteness and jump hierarchies9723151643
8ht6w3kkFirst-order possibility models and finitary completeness proofs9620111748
0zv7r0p3The complexity of computable categoricity922481545
7d43h924Choice-free representation of ortholattices912191942
8pp4d94tComplete Additivity and Modal Incompleteness8612152138
40j0v0hbA note on the consistency operator821981639
9910d3kqA computability theoretic equivalent to Vaught's conjecture751742034

Note: Due to the evolving nature of web traffic, the data presented here should be considered approximate and subject to revision. Learn more.