Modal logic & ownership types: uniting three worlds.

Published in: OOPSLA Companion (2006)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
default logic
situation calculus
nonmonotonic logics
classical logic
epistemic logic
conditional logic
prime implicates
modal operators
dynamic logic
data model
domain knowledge
case based reasoning