Axiomatizing first-order consequences in independence logic.
Miika HannulaPublished in: Ann. Pure Appl. Log. (2015)
Keyphrases
- linear temporal logic
- general logic programs
- conditional logic
- horn clauses
- predicate calculus
- sound and complete with respect
- first order logic
- modal logic
- probabilistic logic
- set theory
- logical theories
- logic programs
- model theoretic
- logical formulas
- action theories
- classical first order logic
- finite model theory
- nonmonotonic logics
- computational properties
- classical logic
- logical framework
- multi valued
- default reasoning
- nonmonotonic reasoning
- expressive power
- logic programming
- defeasible logic
- natural deduction
- causal theories
- negative consequences
- quantifier free
- description logics
- neural network