Return to Article Details Dynamic Semantics, Derived Presuppositions, and the Proviso Problem Download Download PDF