Login / Signup
A Modal Logic for Reasoning about Belief.
Guo-Qiang Zhang
Chang Huang
William C. Rounds
Published in:
HICSS (5) (1997)
Keyphrases
</>
modal operators
modal logic
temporal logic
decision procedures
inference rules
dynamic logic
nonmonotonic logics
epistemic logic
situation calculus
classical logic
default logic
conditional logic
belief revision
autoepistemic logic
description logic alc
dynamic programming
prime implicates
model checking