Return to Article Details A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic Download Download PDF