by [anonymous]
1 min read

2

What are some good resources for logic and game semantics?

New Answer
New Comment
2 comments, sorted by Click to highlight new comments since:

Maybe start with some domain theory and Stone duality? Depends on why it seems interesting. Steve Vickers's "Topology via Logic" can serve as a plan for that.

I've never heard of game semantics before, I looked it up and it seems mildly interesting, can you say more about how you discovered it and what you'd hope to learn from it?