Cycle séminaires |
Résumé |
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.
Last modified: Wed Jul 10 23:49:36 CEST 2013 |