Article Dans Une Revue
Journal of Logic and Computation
Année : 2018
Daniel Le Berre : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-04513922
Soumis le : mercredi 20 mars 2024-21:16:04
Dernière modification le : jeudi 21 mars 2024-03:23:34
Citer
Didier Galmiche, Yakoub Salhi. Tree-sequent calculi and decision procedures for intuitionistic modal logics. Journal of Logic and Computation, 2018, 28 (5), pp.967-989. ⟨10.1093/logcom/exv039⟩. ⟨hal-04513922⟩
Collections
7
Consultations
0
Téléchargements