Some Exponential Lower Bounds on Formula-size in Modal Logic.
Hans van DitmarschJie FanWiebe van der HoekPetar IlievPublished in: Advances in Modal Logic (2014)
Keyphrases
- modal logic
- lower bound
- temporal logic
- upper bound
- kripke models
- inference rules
- epistemic logic
- average case complexity
- dynamic logic
- conditional logic
- classical logic
- branch and bound algorithm
- branch and bound
- autoepistemic logic
- prime implicates
- nonmonotonic logics
- situation calculus
- nonmonotonic reasoning
- default logic
- objective function
- satisfiability problem
- belief revision
- higher order
- np hard
- exponential size
- default reasoning
- worst case
- explanation based generalization
- expert systems
- optimal solution