This work aimed at and won the modal logic 100 $ challenge. The software is relatively mature by now and has almost reached release level. The current version was designed as joint work with Petr Pudlak and Geoff Sutcliffe.
Paper (to appear in Journal of Applied Logic)
Old paper (ESCoR 2006)
Software
Technical documentation