|entries|logic-belief-revision|