Group in Logic and the Methodology of Science

Parent: UC Berkeley

eScholarship stats: History by Item for March through June, 2025

ItemTitleTotal requests2025-062025-052025-042025-03
27k2f44pAnother Problem in Possible World Semantics351434022642
2vp2x4rxA Semantic Hierarchy for Intuitionistic Logic24549529945
9ts1b228Possibility Semantics16254393138
9hd0g86cArrow's Decisive Coalitions12237382027
00p6t2v4Choice-free Stone duality1025726910
0tm6b30qPossibility Frames and Forcing for Modal Logic (February 2018)9638191524
0379725fOn the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames954924913
2nn3c35xThe Logic of Comparative Cardinality9532242019
9v11r0dqPossibility Frames and Forcing for Modal Logic (June 2016)9530232616
2g73d7qvVoting Theory in the Lean Theorem Prover9434272211
1m3156psLogics of Imprecise Comparative Probability8831211125
5jw0p2mzAxiomatization in the Meaning Sciences8531202014
4w2083v3Three roads to complete lattices: orders, compatibility, polarity8429251515
6w21t4jnInquisitive Intuitionistic Logic8429171919
2h5069pqA Bimodal Perspective on Possibility Semantics8338181314
57q7t509Compatibility, compossibility, and epistemic modality8340181510
1159j6ckReflection ranks and ordinal analysis8123151825
78v634pcB-Frame Duality8136231012
303338xrA Note on Algebraic Semantics for S5 with Propositional Quantifiers8025242110
80n21914Completeness for an Intuitionistic Modal Logic of Vagueness783723108
7476g21wOn the Logic of Belief and Propositional Quantification73391987
37z3r3t4Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers67361957
5039n29tA partial-state space model of unawareness672225137
8bp759ncA fundamental non-classical logic67341986
46r5502vA note on Murakami’s theorems and incomplete social choice without the Pareto principle6629131113
8br2b074Inferring Probability Comparisons653314711
0ss5z8g3The Orthologic of Epistemic Modals631923138
40c139d1Preferential Structures for Comparative Probabilistic Reasoning6328131012
69f4t1wgAlgebraic and topological semantics for inquisitive logic via choice-free duality632915910
8pp4d94tComplete Additivity and Modal Incompleteness6245935
881757qnA Representation Theorem for Possibility Models612817610
01p9x1hvComplete Additivity and Modal Incompleteness59292154
07v9360jOne Modal Logic to Rule Them All? (Extended Technical Report)572613108
1fm9h9bqON THE INEVITABILITY OF THE CONSISTENCY OPERATOR56301286
9pm9t4vpPartiality and Adjointness in Modal Logic56291485
46w023hsOne Modal Logic to Rule Them All?542381013
4z83s9z9Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics54271674
2s0134zxLocales, Nuclei, and Dragalin Frames53229148
5hx1k7mwIntuitionism and Nuclei47249104
5q9634jvScott Ranks of Models of a Theory472411210
5462j5b6Possibility Frames and Forcing for Modal Logic45197127
65r7m9jrULTRAHOMOGENEOUS AND EXISTENTIALLY CLOSED HEYTING ALGEBRAS441710107
7t12914nModal Correspondence Theory for Possibility Semantics44231047
0zv7r0p3The complexity of computable categoricity4227834
40j0v0hbA note on the consistency operator40151177
1w71d5g8Fine's canonicity theorem for some classes of neighborhood frames3820648
1bf3g4fnOn the Logics with Propositional Quantifiers Extending S5Π3727712
3dg565gqOperationalism Meets Modal Logic37211123
8t17f71zIncompleteness and jump hierarchies3719954
7d43h924Choice-free representation of ortholattices33171051

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