Login / Signup
A decidable multi-modal logic of context.
Rolf Nossum
Published in:
J. Appl. Log. (2003)
Keyphrases
</>
modal logic
temporal logic
classical logic
decision procedures
inference rules
situation calculus
epistemic logic
nonmonotonic logics
context aware
conditional logic
higher order
default logic
prime implicates
knowledge base
first order logic
explanation based generalization