Dynamic Semantics with Choice Functions · Study