Open Default Theories over Closed Domains

@inproceedings{Kaminski1999OpenDT,
  title={Open Default Theories over Closed Domains},
  author={Michael Kaminski},
  booktitle={ESCQARU},
  year={1999}
}
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