On some Alleged Decision Procedures for S4.

William H. Hanson

Published in: J. Symb. Log. (1966)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
conjunctive queries
reasoning problems
query containment
artificial intelligence
query answering
satisfiability problem
special case
constraint satisfaction problems
theorem prover
fixpoint
quantified boolean formulas
tight complexity bounds