Common knowledge : a finitary calculus with a syntactic cut- elimination procedure. - HAL-SHS - Sciences de l'Homme et de la Société Access content directly
Journal Articles Logique et Analyse Year : 2013
No file

Dates and versions

halshs-00905611 , version 1 (18-11-2013)

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⟩
83 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More