Preferential Logics: the Predicate Calculus Case.

Daniel Lehmann Menachem Magidor

Published in: TARK (1990)

Keyphrases

predicate calculus
first order logic
expressive power
semantic network
formal model
higher order
predicate logic
theorem proving
lambda calculus
database systems