Philosophical Aspects of Multi-Modal Logic | Hacker News Reader