my logic education

[gusl]

If nothing else, my logic education seems to be good for entertaining jcreed. Last night, we stood for a long time on the Cut talking about neat stuff related to proof theory, constructivism, non-standard analysis (mathematical lubrication at the expense of real-ness), bisimulations (in modal model theory), game-theoretic semantics, IF logic / branching quantifiers, etc. Neat stuff.