User:Chalst

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:
 * User pages at other wikis: Wikipedia, Proof and Counterexample, CLiki, c2.com, The Scheme Wiliki at schemewiki.org;
 * Business hompage at www.textproof.com.