3 papers
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
Post Completeness in Conditional Logic
Giuliano Rosella, Yale Weiss
A logic is Post complete if it is consistent but has no consistent proper extensions. In this article, we systematically investigate the Post complete extensions of certain basic c…
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…