Hybrid Modal Logic

It combines various modal logics such as temporal and epistemic modal logic to handle different situations where multiple modalities are involved.