Roles and Dynamic Subclasses: A Modal Logic Approach.

Roel J. Wieringa Wiebren de Jonge Paul Spruit

Published in: ECOOP (1994)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
situation calculus
classical logic
nonmonotonic logics
dynamic logic
conditional logic
epistemic logic
dynamic environments
default logic