Let's say you're reading a story, or playing a game of chess. You may not have noticed, but each step of the way, your mind ...

The μ-calculus is a modal logic with least and greatest fixed-point operators, encompassing many temporal, program and description logics such as LTL, PDL, CTL ...