Multimodal logic

A multimodal logic is a system of logic that has more than one primitive modal operator. One of the more prominent of such systems is temporal logic.