An expansion of first-order Belnap-Dunn logic.
Katsuhiko SanoHitoshi OmoriPublished in: Log. J. IGPL (2014)
Keyphrases
- general logic programs
- linear temporal logic
- conditional logic
- first order logic
- horn clauses
- higher order
- probabilistic logic
- predicate calculus
- sound and complete axiomatization
- sound and complete with respect
- modal logic
- logic programming
- quantifier free
- logical framework
- finite model theory
- logical formulas
- action theories
- asynchronous circuits
- logical theories
- stochastic dominance
- proof theory
- reasoning about actions
- dynamic logic
- digital circuits
- model theoretic
- databases
- defeasible logic
- classical logic
- automated reasoning
- nonmonotonic reasoning
- theorem proving
- model checking
- artificial intelligence