An efficient theorem prover for all 15 normal modal logics in modal cube
Primary LanguageC++
No issues in this repository yet.