T. Dalmonte, B. Lellmann et al.:
"Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity";
CoRR - Computing Research Repository, 2006.05436 (2020), 2006.05436.
https://publik.tuwien.ac.at/files/publik_290259.pdf