A Conventional Expansion of First-Order Belnap-Dunn Logic.
Cornelis A. MiddelburgPublished in: CoRR (2023)
Keyphrases
- linear temporal logic
- general logic programs
- first order logic
- predicate calculus
- higher order
- conditional logic
- probabilistic logic
- classical logic
- modal logic
- database
- multi valued
- automated reasoning
- model theoretic
- model checking
- horn clauses
- deductive databases
- sound and complete with respect
- inductive logic programming systems