Intensional First-Order Logic

A.4 Reduction of many-valued into two-valued modal logics

Large databases obtained by the data integration of different source databases can be incomplete and inconsistent in many ways. The classical logic is not the appropriate formalism for reasoning about inconsistent databases. Certain local inconsistencies should not be allowed to significantly alter the intended meaning of such logic programs. The variety of semantical approaches that have been invented for logic programs is quite broad. In particular, we are interested for many-valued logics with negation, based on bilattices.

Semantics of logic programs are generally based on a classical 2-valued logic by means of stable models [116], [309]. Under these circumstances, not every program ...