Improved Second-Order Quantifier Elimination in Modal Logic.
Renate A. SchmidtPublished in: JELIA (2008)
Keyphrases
- modal logic
- quantifier elimination
- temporal logic
- decision procedures
- inference rules
- presburger arithmetic
- constraint propagation
- functional programming
- default logic
- nonmonotonic logics
- first order logic
- higher order
- situation calculus
- cardinality constraints
- prime implicates
- constraint databases
- modal operators
- databases
- functional dependencies