Logics for Analyzing Games | Hacker News Reader