A hierarchy of modal logics with relative accessibility relations.

Philippe Balbiani Ewa Orlowska

Published in: J. Appl. Non Class. Logics (1999)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
nonmonotonic logics
epistemic logic
modal operators
class hierarchy
default logic
classical logic
hierarchical structure
situation calculus
concept hierarchy
horn clauses
database systems
dynamic programming