Dual-Context Calculi for Modal Logic (Logical Methods in Computer Science, 2020)