A General Proof Method for Modal Predicate Logic without the Barcan Formula.

Published in: AAAI (1988)

Keyphrases