Tableau methods of proof for modal logics.

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

Keyphrases

modal logic
preprocessing
decision procedures
expert systems
inference rules
significant improvement
np complete
autonomous agents
temporal logic