Translation of an LDS into Classical Logic
Dov M. Gabbay · 1996
Abstract In Chapter 1 we claimed that in LDS, the metalevel features are done by the labels while the object level features are done by the formulas of the logic. The meaning of the above statement, as well as notions of metalevel have to be clarified and formalised. This is the task of this Chapter.