Perhaps the first substantive example of a two-modal logic is Arthur Prior's tense logic, with two modalities, F and P, corresponding to "sometime in the future" and "sometime in the past".
Poate că primul exemplu de 2-logică modală este logica tensionată a lui Arthur Prior⁠(en), cu două modalități, F și P, care corespund la „cândva în viitor” și la „cândva în trecut”.