Tree-sequents Calculi for Intuitionistic Modal Logics

In this talk we present Tree-sequent calculi for the intuitionistic modal logics obtained from the combinations of the axioms T,B,4 and 5. They are based on a multi-contextual sequent structure, called Tree-sequent, that allows us to define new calculi and also to provide new alternative decision procedures for these logics.

It is a joint work with Yakoub Salhi.