Decision Procedures for Logics of Consequential Implication.
Claudio PizziPublished in: Notre Dame J. Formal Log. (1991)
Keyphrases
- decision procedures
- modal logic
- theorem proving
- automated reasoning
- inference rules
- reasoning problems
- temporal logic
- functional dependencies
- conjunctive queries
- model theoretic
- first order logic
- natural language
- quantified boolean formulas
- tight complexity bounds
- satisfiability problem
- conditional logic
- query containment
- expressive power