Logics for space and time, modal logic.