Tree-sequent calculi and decision procedures for intuitionistic modal logics - Université d'Artois Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2018

Tree-sequent calculi and decision procedures for intuitionistic modal logics

Fichier non déposé

Dates et versions

hal-04513922 , version 1 (20-03-2024)

Identifiants

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⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More