Open Default Theories over Closed Domains

  title={Open Default Theories over Closed Domains},
  author={Michael Kaminski},
In this paper we compare two approaches to the meaning of a free variable x in an open default α(x) : β1(x), . . . , βm(x) γ(x) . The first treats x as a metavariable for the ground terms of the underlying theory, whereas the second treats it as a “name” of arbitrary elements of the theory universe. We show that, for normal default theories, under the… CONTINUE READING