Journal Articles
Logique et Analyse
Year : 2013
SANDRINE PITOU : Connect in order to contact the contributor
https://shs.hal.science/halshs-00905611
Submitted on : Monday, November 18, 2013-2:47:22 PM
Last modification on : Friday, March 24, 2023-2:52:57 PM
Dates and versions
Identifiers
- HAL Id : halshs-00905611 , version 1
Cite
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⟩
Collections
83
View
0
Download