Dual-Context Calculi for Modal Logic
2017
LICS2017
https://arxiv.org/abs/1602.04860
logic
modal logic