Density Elimination and Rational Completeness for First-Order Logics.

Agata Ciabattoni George Metcalfe

Published in: LFCS (2007)

Keyphrases

conditional logic
first order logic
expressive power
modal logic
higher order
classical first order logic
inference rules
valued logic
database
decision making
horn clauses
quantifier elimination
order sorted
stochastic dominance
density distribution
low density
epistemic logic
arbitrary shape
neural network