On updates with integrity constraints

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. 

Topics

Cite this paper

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