In logic, modality is the intertwined reference of the actual, the possible, and the neces-sary, and a modal logic is a formal language composed to speak consistently about all three. After an introduction which contextualizes ...