Translation-Based Deduction Methods for Modal Logics.

Olivier Gasquet Andreas Herzig

Published in: IPMU (1994)

Keyphrases

modal logic
inference rules
preprocessing
significant improvement
theorem prover
knowledge base
search algorithm
special case