A Logic for Encapsulation in Object-Oriented Languages.
Michele Bugliesi, Hasan M. Jamil · 1994
Abstract. We present a logic language with encapsulation based on an object-oriented data model. We give a formal account of the semantics of this language by defining a proof theory, a model theory and a fixed point theory. We also show that the different characterizations of the semantics are equivalent. We then study the logical foundations of encapsulation by introducing a mapping from our language to a corresponding modal language, and we show that the proof theory of the language is sound and complete with respect to the entailment relation of the corresponding modal framework. The proposed semantics represents – to our knowledge – the first attempt to capture a truly logical semantics of encapsulation in deductive object oriented languages.