Group in Logic and the Methodology of Science

Parent: UC Berkeley

eScholarship stats: History by Item for October, 2024 through January, 2025

ItemTitleTotal requests2025-012024-122024-112024-10
2vp2x4rxA Semantic Hierarchy for Intuitionistic Logic16045324637
9ts1b228Possibility Semantics13330373432
0tm6b30qPossibility Frames and Forcing for Modal Logic (February 2018)11235252923
9hd0g86cArrow's Decisive Coalitions8221162124
2nn3c35xThe Logic of Comparative Cardinality7112241718
1m3156psLogics of Imprecise Comparative Probability7017211418
5039n29tA partial-state space model of unawareness6917221218
27k2f44pAnother Problem in Possible World Semantics6519111619
6w21t4jnInquisitive Intuitionistic Logic5918131513
2g73d7qvVoting Theory in the Lean Theorem Prover571518816
5jw0p2mzAxiomatization in the Meaning Sciences511815108
303338xrA Note on Algebraic Semantics for S5 with Propositional Quantifiers481671015
0379725fOn the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames461210816
46r5502vA note on Murakami’s theorems and incomplete social choice without the Pareto principle461512712
69f4t1wgAlgebraic and topological semantics for inquisitive logic via choice-free duality461114813
57q7t509Compatibility, compossibility, and epistemic modality451810116
00p6t2v4Choice-free Stone duality42187611
40c139d1Preferential Structures for Comparative Probabilistic Reasoning42141468
46w023hsOne Modal Logic to Rule Them All?41107159
4w2083v3Three roads to complete lattices: orders, compatibility, polarity411013711
37z3r3t4Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers40991210
78v634pcB-Frame Duality371010710
2s0134zxLocales, Nuclei, and Dragalin Frames3698613
0ss5z8g3The Orthologic of Epistemic Modals3411788
07v9360jOne Modal Logic to Rule Them All? (Extended Technical Report)3396117
80n21914Completeness for an Intuitionistic Modal Logic of Vagueness3312768
9v11r0dqPossibility Frames and Forcing for Modal Logic (June 2016)3311886
2h5069pqA Bimodal Perspective on Possibility Semantics3216448
881757qnA Representation Theorem for Possibility Models3212767
8br2b074Inferring Probability Comparisons32109310
01p9x1hvComplete Additivity and Modal Incompleteness3112478
1bf3g4fnOn the Logics with Propositional Quantifiers Extending S5Π2851238
1159j6ckReflection ranks and ordinal analysis2728710
5462j5b6Possibility Frames and Forcing for Modal Logic2610664
9pm9t4vpPartiality and Adjointness in Modal Logic2664511
7476g21wOn the Logic of Belief and Propositional Quantification253868
4z83s9z9Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics229436
7t12914nModal Correspondence Theory for Possibility Semantics2212253
8bp759ncA fundamental non-classical logic222758
8ht6w3kkFirst-order possibility models and finitary completeness proofs206464
2kf0p9bgResults in Modal Correspondence Theory for Possibility Semantics194447
7d43h924Choice-free representation of ortholattices183555
8pp4d94tComplete Additivity and Modal Incompleteness173338
1w71d5g8Fine's canonicity theorem for some classes of neighborhood frames158223
5hx1k7mwIntuitionism and Nuclei15645
5q9634jvScott Ranks of Models of a Theory132353
65r7m9jrULTRAHOMOGENEOUS AND EXISTENTIALLY CLOSED HEYTING ALGEBRAS133325
7sc8x8c4Indicative Conditionals and Dynamic Epistemic Logic134225
8t17f71zIncompleteness and jump hierarchies113314
3dg565gqOperationalism Meets Modal Logic10523

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