Automated Proofs of Equivalence of Modal Logic Systems

by
Weina Shen Department of Computer Science University of Miami, USA w.shen@umiami.edu	Advisor: Geoff Sutcliffe Department of Computer Science University of Miami, USA geoff@cs.miami.edu