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. 


Cite this paper

@inproceedings{Herzig2005OnUW, title={On updates with integrity constraints}, author={Andreas Herzig}, booktitle={Belief Change in Rational Agents}, year={2005} }