A Many-Valued Logic for Belief/Disbelief Pairs.

Dimiter Driankov

Published in: ISMIS (1987)

Keyphrases

truth values
modal logic
modal operators
inference rules
multi valued
belief revision
probability theory
sound and complete axiomatization
logical framework
fixpoint
pairwise
classical logic
epistemic logic
temporal logic
decision making
situation calculus
defeasible logic
asynchronous circuits
machine learning