Keyphrases
- decision procedures
- modal logic
- theorem proving
- automated reasoning
- inference rules
- model theoretic
- temporal logic
- reasoning problems
- conjunctive queries
- expressive power
- conditional logic
- artificial intelligence
- quantified boolean formulas
- first order logic
- satisfiability problem
- tight complexity bounds
- theorem prover
- data management
- query language