A multi-modal logic in which there are precisely two primitive (and not interdefinable) modalities. For example, tense logics with modalities corresponding to ‘it will always be the case that…’ and ‘it has always been the case that…’ are bimodal because these two are not definable from each other, even though further modalities (e.g., ‘it was the case that…’) are definable from these two.