User:Chalst

From RationalWiki
Jump to navigation Jump to search

I'm Charles Stewart, a copy-editor and former logician based in Berlin, who retains his former research interests in proof theory, modal logic, applications of logic to computer science, and mathematical structures for semantics. Some of my home pages: