LILaC
- paper abstract
On updates with integrity constraints
Herzig, Andreas
Abstract:
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.
https://www.irit.fr/~Andreas.Herzig