A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic

DOI10.1613/JAIR.1.11337OpenAlexW2911930742WikidataQ130857655 ScholiaQ130857655MaRDI QIDQ4621489FDOQ4621489

Kewen Wang, James Delgrande, Zhiqiang Zhuang, Zhe Wang

Publication date: 12 February 2019

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.11337

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cited In (1)

• AGM contraction is not reconstructible as a descriptor operation

This page was built for publication: A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621489)