Complexity of Propositional Independence and Inclusion Logic.
Miika HannulaJuha KontinenJonni VirtemaHeribert VollmerPublished in: CoRR (2015)
Keyphrases
- multi valued
- sound and complete axiomatization
- probabilistic logic
- first order logic
- propositional logic
- deductive reasoning
- decision problems
- proof procedure
- logic programming
- propositional variables
- predicate calculus
- computational properties
- classical logic
- horn clauses
- computational complexity
- automated reasoning
- conditional independence
- space complexity
- modal logic