HOL Based First-Order Modal Logic Provers.

Christoph Benzmller, Thomas Raths

Browse the full LPAR paper archive.