- paper abstract
On updates with integrity constraints
In his paper ``Making Counterfactual Assumptions'' Frank Veltman has proposed
a new semantics for counterfactual conditionals.
It is based on a particular update operation, and we show that it provides
a new and interesting way of updating logical databases
under integrity constraints which generalizes in particular Winslett's PMA.