Complexity of two-variable Dependence Logic and IF-Logic

Juha Kontinen Antti Kuusisto Peter Lohmann Jonni Virtema

Published in: CoRR (2011)

Keyphrases

logic programming
modal logic
multi valued
proof theory
data sets
worst case
automated reasoning
classical logic
set theory
digital circuits
predicate logic