Communication Dans Un Congrès
Année : 2018
Didier GALMICHE : Connectez-vous pour contacter le contributeur
https://hal.univ-lorraine.fr/hal-02986176
Soumis le : lundi 2 novembre 2020-17:14:26
Dernière modification le : vendredi 5 janvier 2024-15:36:12
Dates et versions
Identifiants
- HAL Id : hal-02986176 , version 1
Citer
Michel Marti, Thomas Studer. The Internalized Disjunction Property for Intuitionistic Justification Logic. 12th International Conference on Advances in Modal Logic, AiML 2018, 2018, Bern, Switzerland. pp.511-530. ⟨hal-02986176⟩
Collections
16
Consultations
0
Téléchargements