Today is World Logic Day. So, I want to give some attention to one of the coolest games on temporal logics that students have developed in my TU Berlin courses.
In Tempus Fugit, you play a mage fighting monsters. 🧙♂️🧟 Which spells you can cast (and their strength) depends on past and future events and is expressed in a variant of linear temporal logic (LTL). LTL is one of the most important temporal logics in computer science, where it is used, for example, to describe the behavior of programs.
Play it on: https://games.equiv.io/2019wise-tempus-fugit