Logicality, Double-Line Rules, and Modalities