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

Peter Jackson, Han Reichgelt

Browse the full AAAI paper archive.