A Logical Framework for Evolution of Specifications.

Published in: ESOP (1994)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
linear logic
higher order logic
possibilistic logic
epistemic logic
normative systems
high level
expert systems