Dynamic consequence for soft information
Olivier Roy, Ole Thomassen Hjortland · Journal of Logic and Computation · 2014
This article looks at so-called dynamic consequence relations for models of soft information change. We provide a sound, complete calculus for one-step soft dynamic consequence relations. We then study a generalization to sequences of updates, for which we show a number of valid and invalid structural rules.