Project in Axiomatic Translation of Modal Logic 2007/8 Manchester.
Web Interface where you can run the latest version of SPASS with Axiomatic Translation of Modal Logic on-line
Try the software HERE!!