Group in Logic and the Methodology of Science

Parent: UC Berkeley

eScholarship stats: History by Item for September through December, 2024

ItemTitleTotal requests2024-122024-112024-102024-09
2vp2x4rxA Semantic Hierarchy for Intuitionistic Logic15132463736
9ts1b228Possibility Semantics13237343229
0tm6b30qPossibility Frames and Forcing for Modal Logic (February 2018)8925292312
9hd0g86cArrow's Decisive Coalitions8116212420
2nn3c35xThe Logic of Comparative Cardinality7024171811
1m3156psLogics of Imprecise Comparative Probability6621141813
27k2f44pAnother Problem in Possible World Semantics6311161917
5039n29tA partial-state space model of unawareness602212188
2g73d7qvVoting Theory in the Lean Theorem Prover48188166
6w21t4jnInquisitive Intuitionistic Logic481315137
69f4t1wgAlgebraic and topological semantics for inquisitive logic via choice-free duality471481312
0379725fOn the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames43108169
5jw0p2mzAxiomatization in the Meaning Sciences41151088
4w2083v3Three roads to complete lattices: orders, compatibility, polarity38137117
46r5502vA note on Murakami’s theorems and incomplete social choice without the Pareto principle37127126
303338xrA Note on Algebraic Semantics for S5 with Propositional Quantifiers36710154
46w023hsOne Modal Logic to Rule Them All?3671595
37z3r3t4Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers35912104
40c139d1Preferential Structures for Comparative Probabilistic Reasoning3514687
00p6t2v4Choice-free Stone duality34761110
57q7t509Compatibility, compossibility, and epistemic modality33101166
78v634pcB-Frame Duality31107104
1159j6ckReflection ranks and ordinal analysis3087105
0ss5z8g3The Orthologic of Epistemic Modals297886
2s0134zxLocales, Nuclei, and Dragalin Frames2986132
8br2b074Inferring Probability Comparisons2893106
881757qnA Representation Theorem for Possibility Models277677
07v9360jOne Modal Logic to Rule Them All? (Extended Technical Report)2661172
80n21914Completeness for an Intuitionistic Modal Logic of Vagueness257684
9pm9t4vpPartiality and Adjointness in Modal Logic2545115
1bf3g4fnOn the Logics with Propositional Quantifiers Extending S5Π2412381
9v11r0dqPossibility Frames and Forcing for Modal Logic (June 2016)248862
2h5069pqA Bimodal Perspective on Possibility Semantics234487
7476g21wOn the Logic of Belief and Propositional Quantification238681
8bp759ncA fundamental non-classical logic237583
5462j5b6Possibility Frames and Forcing for Modal Logic226646
01p9x1hvComplete Additivity and Modal Incompleteness214782
2kf0p9bgResults in Modal Correspondence Theory for Possibility Semantics194474
7d43h924Choice-free representation of ortholattices185553
8pp4d94tComplete Additivity and Modal Incompleteness183384
4z83s9z9Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics164363
8ht6w3kkFirst-order possibility models and finitary completeness proofs164642
65r7m9jrULTRAHOMOGENEOUS AND EXISTENTIALLY CLOSED HEYTING ALGEBRAS133253
5q9634jvScott Ranks of Models of a Theory123531
5hx1k7mwIntuitionism and Nuclei11452
8t17f71zIncompleteness and jump hierarchies113143
1w71d5g8Fine's canonicity theorem for some classes of neighborhood frames102233
7t12914nModal Correspondence Theory for Possibility Semantics10253
7sc8x8c4Indicative Conditionals and Dynamic Epistemic Logic9225
1fm9h9bqON THE INEVITABILITY OF THE CONSISTENCY OPERATOR8233

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