Skip to Main content Skip to Navigation
Conference papers

A Substructural Epistemic Resource Logic

Document type :
Conference papers
Complete list of metadatas

https://hal.univ-lorraine.fr/hal-02982009
Contributor : Didier Galmiche <>
Submitted on : Wednesday, October 28, 2020 - 12:50:58 PM
Last modification on : Friday, November 6, 2020 - 5:44:59 PM

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

14