Similar to belief revision operations, an update operation takes a belief base and a new information (the input formula) and maps it to a new belief base.
In close interconnection with our research topic of conditional logic, we are interested in the axiomatization of Winslett's possible model's approach in terms of a conditional logic, as well as the definition of automated theorem proving methods for such an update operation.
This relates to our belief revision and reasoning about actions research topics.
WWW links
Andreas.Herzig@irit.fr / http://www.irit.fr/~Andreas.Herzig