Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Stalnaker's logical problem of conditionals is unsolvable
Alexander W. Kocurek, James Walsh, Yale Weiss
The logical problem of conditionals, as conceived by Stalnaker, amounts to axiomatizing a particular semantics for conditionals which utilizes selection functions that take proposi…
math.LO2026
Incompleteness in Quantified Conditional Logic
Alexander W. Kocurek, James Walsh, Yale Weiss
Stalnaker and Thomason famously proved that the conditional logic \textsf{C2} with first-order quantifiers is complete with respect to a selection function semantics. However, the…