Dempster's rule of conditioning translated into modal logic.

Elena Tsiporkova Bernard De Baets Veselka Boeva

Published in: Fuzzy Sets Syst. (1999)

Keyphrases

modal logic
combination rule
temporal logic
inference rules
decision procedures
epistemic logic
nonmonotonic logics
conditional logic
classical logic
default logic
dynamic logic
situation calculus
dempster shafer theory
domain knowledge
modal operators
rule sets
autoepistemic logic
prime implicates
evidence theory