Track:
Contents
Downloads:
Abstract:
The authors present an intuitive and well motivated model-theoretic definition of forgetting a sentence (or set of sentences). They give a syntactic method for creating the theory resulting from forgetting a sentence, and describe several properties of their definition.