Skip to Main content Skip to Navigation
Conference papers

A Substructural Epistemic Resource Logic

Document type :
Conference papers
Complete list of metadata

https://hal.univ-lorraine.fr/hal-02982009
Contributor : Didier Galmiche Connect in order to contact the contributor
Submitted on : Wednesday, October 28, 2020 - 12:50:58 PM
Last modification on : Wednesday, November 3, 2021 - 7:09:40 AM

Identifiers

  • HAL Id : hal-02982009, version 1

Collections

Citation

Didier Galmiche, Pierre Kimmel, David Pym. A Substructural Epistemic Resource Logic. 7th Indian Conference on Logic and Its Applications, ICLA 2017, 2017, Kanpur, India. pp.77-91. ⟨hal-02982009⟩

Share

Metrics

Record views

37