Common knowledge : a finitary calculus with a syntactic cut- elimination procedure. - HAL-SHS - Sciences de l'Homme et de la Société
Article Dans Une Revue Logique et Analyse Année : 2013

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

Mots clés

Logique Analyse Dynamique

Domaines

Philosophie

SANDRINE PITOU  : Connectez-vous pour contacter le contributeur

https://shs.hal.science/halshs-00905611

Soumis le : lundi 18 novembre 2013-14:47:22

Dernière modification le : lundi 9 décembre 2024-15:36:03

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : halshs-00905611 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS1 ENS-PARIS CNRS UNIV-AMU IHPST HIPHISCITECH PSL CGGG
96 Consultations
0 Téléchargements

Partager

More