Extending AGM Contraction to Arbitrary Logics

Open in new window