RSS Feed for this tag 1 application totalLast updated: Jun 9th 2012, 14:11 GMT
Tableau theorem prover for modal logic