Dynamic Relation Logic Is the Logic of DPL-Relations.

Published in: J. Log. Lang. Inf. (1997)

Keyphrases

classical logic
proof theory
data sets
logic programming
dynamic environments
probabilistic logic
logical framework
predicate logic
semantic relations
automated reasoning
relation algebra
background knowledge
expressive power
multi valued