Uniform Interpolation for Monotone Modal Logic.
Luigi SantocanaleYde VenemaPublished in: Advances in Modal Logic (2010)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- epistemic logic
- nonmonotonic logics
- classical logic
- situation calculus
- upper bound
- autoepistemic logic
- linear interpolation
- interpolation method
- image interpolation
- uniform distribution
- default logic
- conditional logic
- artificial intelligence
- modal operators
- desirable properties
- boolean functions
- description logic alc