A Substructural Epistemic Resource Logic - Université de Lorraine Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

A Substructural Epistemic Resource Logic

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02982009 , version 1

Citer

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⟩
50 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More