NP-Logic Systems and Model-Equivalence Reductions

Yuping Shen, Xishun Zhao

In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence problem in NP. It is shown that amon…