Reiter’s extensions as semantics
Reiter’s extensions are defined with respect to a theory. Therefore extensions are not a semantics in the sense of providing specifications of possible worlds
Reiter’s extensions do provide the basis for consequence relations
Why is the definition of extensions called a semantics?