Consequential implication. A correction to: "Decision procedures for logics of consequential implication".

Published in: Notre Dame J. Formal Log. (1993)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
functional dependencies
expressive power
conjunctive queries
satisfiability problem
query containment
quantified boolean formulas
artificial intelligence
expert systems
integrity constraints
temporal logic