Yesterday was International Women’s Day, and I attended the Virtual Maths Tea organised by the IMA, of which I am a member, centred on Celebrating Women in Maths and Embracing Equity.

1. ‘Mathematically, time is no different from one more spatial dimension, but since humans interact with it in a quite different way, it is psychologically very different.’ William P. Thurston, ‘On Proof and Progress in Mathematics’, p. 5

‘Modal logics’ are a class of logics that extend propositional and predicate logic to capture more of the expressiveness and nuances of human reasoning. Their names ‘aleithic’, ‘temporal’, ‘epistemic’, ‘doxastic’, ‘deontic’, ‘dynamic’ are beautiful Greek words which hint at a variety of applications. Here is outlined a board game based on a subset of modal logics. Note: it will only make sense if you already know how to draw truth trees for aleithic normal modal logic systems. If you don’t, try reading Chapter 3 of ‘Modal Logics and Philosophy’ (second edition) by Rod Girle, which this boardgame is based on.