Forgetting Formulas and Signature Elements in Epistemic States

A. Becker, G. Kern-Isberner, K. Sauerwald +1

Delgrande's knowledge level account of forgetting provides a general approach to forgetting syntax elements from sets of formulas with links to many other forgetting operations, in…