A Substructural Epistemic Resource Logic - Université de Lorraine Access content directly
Conference Papers Year : 2017

A Substructural Epistemic Resource Logic

No file

Dates and versions

hal-02982009 , version 1 (28-10-2020)

Identifiers

  • HAL Id : hal-02982009 , version 1

Cite

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⟩
49 View
0 Download

Share

Gmail Facebook X LinkedIn More