B. F. Chellas, Modal Logic: An Introduction, 1980.

O. Gasquet and A. Herzig, From classical to normal modal logics, Proof theory of modal logic, p.293311, 1996.

D. R. Gilbert and P. Maezioli, Modular sequent calculi for classical modal logics, Studia Logica, vol.103, p.175217, 2015.

G. Greco, F. Liang, A. Palmigiano, and U. Rivieccio, Bilattice logic properly displayed, Fuzzy Sets and Systems, 2018.

G. Hughes and M. Cresswell, A New Introduction to Modal Logic, 1996.

A. Indrzejczak, Sequent calculi for monotonic modal logics, Bulletin of the Section of logic, vol.34, p.151164, 2005.

A. Indrzejczak, Natural Deduction, Hybrid Systems and Modal Logics, 2010.

M. Kracht and F. Wolter, Normal monomodal logics can simulate all others, The Journal of Symbolic Logic, vol.64, p.99138, 1999.

R. Lavendhomme and T. Lucas, Sequent calculi and decision procedures for weak modal systems, Studia Logica, vol.66, p.121145, 2000.

B. Lellmann and E. Pimentel, Proof search in nested sequent calculi, Logic for Programming, p.558574, 2015.

S. Negri, Proof analysis in modal logic, Journal of Philosophical Logic, vol.34, p.507544, 2005.

S. Negri, Proofs and countermodels in non-classical logics, Logica Universalis, vol.8, p.2560, 2014.

S. Negri, Proof theory for non-normal modal logics: The neighbourhood formalism and basic results, IFCoLog Journal of Logic and its Applications, Mints' memorial issue, vol.4, p.12411286, 2017.

E. Pacuit, Neighborhood Semantics for Modal Logic, 2017.

H. Wansing, Sequent systems for modal logics, Handbook of philosophical logic, p.61145, 2002.