A Substructural Epistemic Resource Logic - Archive ouverte HAL Access content directly
Conference Papers Year :

A Substructural Epistemic Resource Logic

(1) , (1) , (2)
1
2
Not 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⟩
43 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More