From Terminological Logics to Modal Logics.

Published in: Description Logics (1991)

Keyphrases

modal logic
temporal logic
decision procedures
nonmonotonic logics
inference rules
epistemic logic
knowledge base
situation calculus
classical logic
conditional logic
default logic
modal operators
logic programming
first order logic
dynamic logic