Tree-sequent calculi and decision procedures for intuitionistic modal logics
Publication | Article in Journal of Logic and Computation, published June 2015 |
---|---|
Authors | Didier Galmiche, Yakoub Salhi |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…