Complexity of validity for propositional dependence logics.

Published in: GandALF (2014)

Keyphrases

expressive power
propositional logic
learning algorithm
worst case
np complete
first order logic
default logic
complexity analysis
multi valued
proof theory
computational complexity