Skip to Main content Skip to Navigation
Journal articles

Common knowledge : a finitary calculus with a syntactic cut- elimination procedure.

Mots-clés : Logique Analyse Dynamique
Document type :
Journal articles
Complete list of metadata

https://halshs.archives-ouvertes.fr/halshs-00905611
Contributor : Sylvie Pons Connect in order to contact the contributor
Submitted on : Monday, November 18, 2013 - 2:47:22 PM
Last modification on : Tuesday, October 19, 2021 - 10:59:31 PM

Identifiers

  • HAL Id : halshs-00905611, version 1
`

Citation

Francesca Poggiolesi, B. Hill. Common knowledge : a finitary calculus with a syntactic cut- elimination procedure.. Logique et Analyse, Louvain: Centre national belge de recherche de logique. 2013, p. ⟨halshs-00905611⟩

Share

Metrics

Record views

275