Reflection in conditional rewriting logic.

Manuel Clavel José Meseguer

Published in: Theor. Comput. Sci. (2002)

Keyphrases

conditional logic
modal logic
classical logic
multi valued
logic programming
automated reasoning
predicate logic
belief revision
set theory
nonmonotonic inference
data sets
conditional probabilities
logical framework
proof theory
random field model