Greg Restall is way more dedicated and wired than I am. He already has two posts about what's happening at the Logic Colloquium, and I just made it up the hill in the midday sun. I am so glad I didn't pack my computer. So thank you, Greg, for blogging from the Logic Colloquium, so … Continue reading Thank you, Greg!
Games in logic are incredibly fashionable, and there's lots of exciting work that I could write about. But I won't. Instead, I'll give you an exercise that can be solved with just the very basics of logic.A finite game is a subset W ⊆ M1, …, Mn, where each Mi is a finite set. Mi … Continue reading Logic and Finite Games