Implementing a theorem prover for modal logics based on labelled tableaux.
This blog is defunct. It's content, along with that of my other blogs, is now hosted at thomas-sutton.id.au.
Post a Comment
No comments:
Post a Comment