The following pages link to Wesley H. Holliday (Q256786):
Displayed 38 items.
- A note on cancellation axioms for comparative probability (Q256788) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Inferring probability comparisons (Q1650275) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism (Q2018588) (← links)
- Voting theory in the Lean theorem prover (Q2148823) (← links)
- Arrow's decisive coalitions (Q2179473) (← links)
- A note on Murakami's theorems and incomplete social choice without the Pareto principle (Q2217361) (← links)
- Logics of imprecise comparative probability (Q2237162) (← links)
- Algebraic and topological semantics for inquisitive logic via choice-free duality (Q2303579) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- Three roads to complete lattices: orders, compatibility, polarity (Q2663187) (← links)
- (Q2904054) (← links)
- (Q2939499) (← links)
- (Q2939503) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- A bimodal perspective on possibility semantics (Q3133167) (← links)
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
- (Q3384078) (← links)
- Dynamic Testimonial Logic (Q3655226) (← links)
- (Q4636034) (← links)
- (Q4636300) (← links)
- (Q5018508) (← links)
- (Q5018516) (← links)
- (Q5104704) (← links)
- (Q5104713) (← links)
- CHOICE-FREE STONE DUALITY (Q5107222) (← links)
- Epistemic Logic, Relevant Alternatives, and the Dynamics of Context (Q5200466) (← links)
- (Q5224576) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Roles, Rigidity, and Quantification in Epistemic Logic (Q5249684) (← links)
- (Q5419888) (← links)
- THE LOGIC OF COMPARATIVE CARDINALITY (Q5855745) (← links)
- (Q5883183) (← links)
- (Q5884930) (← links)
- (Q5884962) (← links)
- Preferential Structures for Comparative Probabilistic Reasoning (Q6364621) (← links)