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