Undecidability of the Logic of Partial Quasiary Predicates.

Mikhail N. Rybakov Dmitry Shkatov

Published in: Log. J. IGPL (2022)

Keyphrases

horn clauses
logical formulas
description logics
logic programming
classical logic
automated reasoning
multi valued
probabilistic logic
predicate logic
proof theory
programming language
logic programs
modal logic
sound and complete axiomatization