Implementing a theorem prover for modal logics based on labelled tableaux.
Thursday, June 16, 2005
Meta-post: Inward Links.
Wow, this blog has been mentioned in both Consequently (Greg Restall's blog) and That Logic Blog (Jon Cohen's blog).
Now I'll just have to get some meaningful posts up.
1 comment:
Anonymous
said...
Good luck! I'll be interested to see how you go.
One link to get you further on your way, in case you haven't found it. Do you know of Jan van Eijck's stuff on Haskell and logic (and tableaux -- but not labelled?). See here: http://homepages.cwi.nl/~jve/cs/
1 comment:
Good luck! I'll be interested to see how you go.
One link to get you further on your way, in case you haven't found it. Do you know of Jan van Eijck's stuff on Haskell and logic (and tableaux -- but not labelled?). See here: http://homepages.cwi.nl/~jve/cs/
Greg
Post a Comment