Revising by an Inconsistent Set of Formulas

Open in new window