 Partial meet contraction of a belief set satisfies six postulates that are called the basic Gärdenfors postulates (or basic AGM postulates). To begin with, when a belief set \(K\) is contracted by a sentence \(p\), the outcome should be logically closed.