Disjunction and modular goal-directed proof search

What this record says

This paper explores goal-directed proof search in first-order multi-modal logic. The key issue is to design a proof system that

CATALOG · The abstract is indexed.