Separating Rank Logic from Polynomial Time.

Published in: CoRR (2021)

Keyphrases

truth table
special case
modal logic
computational complexity
logic programming
classical logic
predicate logic
deontic logic
worst case
ranked list
automated reasoning
digital circuits
databases
logic programs
approximation algorithms
scoring function
multi valued
set theory
proof theory