A dynamic semantics for inconsistency-adaptive logics.