Lahav, Ori,
Marcos, João and
Zohar, Yoni. 2016.
“It Ain’t Necessarily So: Basic Sequent Systems for Negative Modalities.” in
Advances in Modal Logic, volume XI, edited by Lev D.
Beklemishev, Stéphane
Demri, and András
Maté, pp. 449–468. London: King’s College Publications.