Sign in
Modal logic & ownership types: uniting three worlds.
Pradeep Kumar
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