Axiomatizing first-order consequences in dependence logic.
Juha KontinenJouko A. VäänänenPublished in: Ann. Pure Appl. Log. (2013)
Keyphrases
- general logic programs
- linear temporal logic
- horn clauses
- conditional logic
- higher order
- first order logic
- predicate calculus
- sound and complete with respect
- probabilistic logic
- modal logic
- logical formulas
- classical first order logic
- finite model theory
- action theories
- model theoretic
- classical logic
- multi valued
- automated reasoning
- logic programming
- predicate logic
- logic programs
- quantifier free
- logical theories
- sound and complete axiomatization
- neural network
- negative consequences
- decision diagrams
- truth values
- set theory
- bayesian networks