A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types.
Alejandro L. GrossoJose Maria Turull TorresPublished in: SCCC (2010)
Keyphrases
- horn clauses
- higher order
- function symbols
- logical formulas
- propositional variables
- first order logic
- linear temporal logic
- causal relations
- conditional logic
- real numbers
- truth values
- quantifier free
- universally quantified
- general logic programs
- automated reasoning
- logic programming
- classical first order logic
- relation algebra
- relational data model
- classical logic
- wide range
- directed acyclic graph
- semantic relations
- high order
- multi valued
- probability theory
- inference rules
- logical theories
- boolean functions
- modal logic
- conditional probabilities
- sound and complete with respect
- relational databases