Publication:4225114
From MaRDI portal
zbMath0922.03036MaRDI QIDQ4225114
Publication date: 11 October 1999
AGM theory of belief change; ordered theory presentation; representation of belief states by infinite objects
03B60: Other nonclassical logic
Related Items
Beth definability, interpolation and language splitting, New foundations for a relational theory of theory-revision