Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities
Mark KaminskiGert SmolkaPublished in: CoRR (2012)
Keyphrases
- modal logic
- worst case
- temporal logic
- decision procedures
- inference rules
- classical logic
- upper bound
- error bounds
- average case
- np hard
- incremental learning
- explanation based generalization
- artificial intelligence
- epistemic logic
- default logic
- dynamic programming
- space complexity
- decision makers
- worst case analysis
- decision making
- decision theory
- model checking
- conditional logic
- prime implicates