Conference Papers
Year : 2018
Didier GALMICHE : Connect in order to contact the contributor
https://hal.univ-lorraine.fr/hal-02986176
Submitted on : Monday, November 2, 2020-5:14:26 PM
Last modification on : Tuesday, July 23, 2024-12:52:04 PM
Dates and versions
Identifiers
- HAL Id : hal-02986176 , version 1
Cite
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
19
View
0
Download