A General Proof Method for First-Order Modal Logic

Peter Jackson, Han Reichgelt. A General Proof Method for First-Order Modal Logic. In IJCAI. pages 942-944, 1987.

Possibly Related Publications

The following publications are possibly variants of this publication: