D. Askounis, C. D. Koutras, and Y. Zikos, Knowledge means 'all', belief means 'most', Journal of Applied Non-Classical Logics, vol.26, issue.3, pp.173-192, 2016.

A. Avron, The method of hypersequents in the proof theory of propositional nonclassical logics, Logic: From Foundations to Applications. Clarendon P, 1996.

B. F. Chellas, Modal Logic, 1980.

T. Dalmonte, N. Olivetti, and S. Negri, Non-normal modal logics: Bi-neighbourhood semantics and its labelled calculi, Proceedings of AiML, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02076639

T. Dalmonte, N. Olivetti, and S. Negri, Bi-neighbourhood semantics and labelled sequent calculi for non-normal modal logics, 2019.

T. Dalmonte, N. Olivetti, S. Negri, and G. L. Pozzato, Pronom: proof-search and countermodel generation for non-normal modal logics, Proceedings of AIIA, 2019.

D. Gilbert and P. Maffezioli, Modular sequent calculi for classical modal logics, Studia Logica, vol.103, issue.1, pp.175-217, 2015.

L. Goble, Prima facie norms, normative conflicts, and dilemmas. Handbook of deontic logic and normative systems 1, pp.241-352, 2013.

A. Indrzejczak, Sequent calculi for monotonic modal logics, Bulletin of the Section of logic, vol.34, issue.3, pp.151-164, 2005.

A. Indrzejczak, Admissibility of cut in congruent modal logics, Logic and Logical Philosophy, vol.21, pp.189-203, 2011.

R. Lavendhomme and T. Lucas, Sequent calculi and decision procedures for weak modal systems, Studia Logica, vol.65, pp.121-145, 2000.

B. Lellmann, Combining monotone and normal modal logic in nested sequentswith countermodels, TABLEAUX. pp, pp.203-220, 2019.

B. Lellmann and E. Pimentel, Modularisation of sequent calculi for normal and nonnormal modalities, ACM Trans. Comput. Logic, vol.20, issue.2, pp.1-7, 2019.

S. Negri, Proof theory for non-normal modal logics: The neighbourhood formalism and basic results, IfCoLog J. Log. Appl, vol.4, issue.4, pp.1241-1286, 2017.

E. Orlandelli, Sequent calculi and interpolation for non-normal logics, 2019.

E. Pacuit, Neighborhood semantics for modal logic, 2017.

D. Pattinson, The logic of exact covers: Completeness and uniform interpolation, LICS 2013, 2013.

M. Pauly, A modal logic for coalitional power in games, J. Log. Comput, vol.12, issue.1, pp.149-166, 2002.

M. Y. Vardi, On epistemic logic and logical omniscience, Theoretical aspects of reasoning about knowledge, pp.293-305, 1986.

M. Y. Vardi, On the complexity of epistemic reasoning, Proc. 4th IEEE Symp. on Logic in Computer Science pp, pp.243-252, 1989.