May 20th, 2011

beartato phd

(no subject)

Feeling sort of unfocused and maybe-but-hopefully-not-getting-sick. Tried to think a bit about that old thing what with encoding Pfenning-Davies style modal logics in the same way that I got substructural logics working. Didn't succeed, but had fun doodling it in the gimp in the meantime: