Modal Logic and Dioids.

Christiano P. Pessanha Rafael Santos-Mendes

Published in: POSTA (2003)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
situation calculus
classical logic
epistemic logic
default logic
dynamic logic
autoepistemic logic
machine learning
description logic alc
sequent calculus
conditional logic
model checking
domain knowledge