Skip to Main content Skip to Navigation
New interface
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 : Friday, April 29, 2022 - 10:12:17 AM

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, 2013, numéro spécial Dynamic in Logic, p. ⟨halshs-00905611⟩

Share

Metrics

Record views

82