Reichgelt, Han

2 publications

AAAI 1988 A General Proof Method for Modal Predicate Logic Without the Barcan Formula Peter Jackson, Han Reichgelt

IJCAI 1987 A General Proof Method for First-Order Modal Logic Peter Jackson, Han Reichgelt