Complexity of validity for propositional dependence logics.

Published in: Inf. Comput. (2017)

Keyphrases

first order logic
propositional logic
decision problems
multi valued
worst case
modal logic
horn clauses
default logic
classical logic
propositional variables