Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M.

Alan Ross Anderson

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

Keyphrases

decision procedures
theorem proving
automated reasoning
modal logic
machine learning
databases
bayesian networks
natural language
computational complexity
lower bound
conjunctive queries