Proofs of Equivalence in
Modal Logic Systems

by
Geoff Sutcliffe Department of Computer Science University of Miami USA	Daphne Simmonds Mona Institute of Applied Science University of the West Indies Jamaica