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!!