Jackson, Peter

3 publications

IJCAI 1989 On the Semantics of Counterfactuals Peter Jackson

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