Modal Logic, Temporal Models and Neural Circuits: What Connects Them