Reasoning About Objects Using a Tableau Method
Richard Z. Li, Amı́lcar Sernadas · Journal of Logic and Computation · 1991
An object is understood as adynamic entity whose attributes can be observed and modified through the occurences of its events. In order to reason about such an object, a logical language and a tableau method are presented in this paper. Objects and their properties and can be described by a set of formulate based on their signatures. The tableau method is an extension and a development of a first-order tableau method. To confute a finite set of formulae based on their signatures. The confute a finite set of formuale is to construct a set of tableaux and define some dependency relations on them. A simple illustrative example is also given to show how to reason about objects using our method.