Towards a Proof Theory of Gödel Modal Logics
Résumé
no abstract
Article Dans Une Revue
Logical Methods in Computer Science
Année : 2011
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479552
Soumis le : mardi 28 février 2017-20:39:04
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479552 , version 1
Citer
George Metcalfe, Nicola Olivetti. Towards a Proof Theory of Gödel Modal Logics. Logical Methods in Computer Science, 2011, 7 (2), pp.1-17. ⟨hal-01479552⟩
Collections
47
Consultations
0
Téléchargements