 The aim of the complexity theory is to establish the computability of the property sat A in terms of resources of time or space. The complexity of a logic L is often identified with the problem of deciding the satisfiability of its formulas, defined as: