Knowledge means 'all', belief means 'most', Journal of Applied Non-Classical Logics, vol.26, issue.3, pp.173-192, 2016. ,
The method of hypersequents in the proof theory of propositional nonclassical logics, Logic: From Foundations to Applications. Clarendon P, 1996. ,
Modal Logic, 1980. ,
Non-normal modal logics: Bi-neighbourhood semantics and its labelled calculi, Proceedings of AiML, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02076639
Bi-neighbourhood semantics and labelled sequent calculi for non-normal modal logics, 2019. ,
Pronom: proof-search and countermodel generation for non-normal modal logics, Proceedings of AIIA, 2019. ,
Modular sequent calculi for classical modal logics, Studia Logica, vol.103, issue.1, pp.175-217, 2015. ,
Prima facie norms, normative conflicts, and dilemmas. Handbook of deontic logic and normative systems 1, pp.241-352, 2013. ,
Sequent calculi for monotonic modal logics, Bulletin of the Section of logic, vol.34, issue.3, pp.151-164, 2005. ,
Admissibility of cut in congruent modal logics, Logic and Logical Philosophy, vol.21, pp.189-203, 2011. ,
Sequent calculi and decision procedures for weak modal systems, Studia Logica, vol.65, pp.121-145, 2000. ,
Combining monotone and normal modal logic in nested sequentswith countermodels, TABLEAUX. pp, pp.203-220, 2019. ,
Modularisation of sequent calculi for normal and nonnormal modalities, ACM Trans. Comput. Logic, vol.20, issue.2, pp.1-7, 2019. ,
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. ,
Sequent calculi and interpolation for non-normal logics, 2019. ,
Neighborhood semantics for modal logic, 2017. ,
The logic of exact covers: Completeness and uniform interpolation, LICS 2013, 2013. ,
A modal logic for coalitional power in games, J. Log. Comput, vol.12, issue.1, pp.149-166, 2002. ,
On epistemic logic and logical omniscience, Theoretical aspects of reasoning about knowledge, pp.293-305, 1986. ,
On the complexity of epistemic reasoning, Proc. 4th IEEE Symp. on Logic in Computer Science pp, pp.243-252, 1989. ,