Variable Forgetting in Reasoning about Knowledge

Open in new window