From a single agent to multi-agent via hypersequents - HAL Accéder directement au contenu
Article dans une revue Logica Universalis Année : 2013

From a single agent to multi-agent via hypersequents

Résumé

In this paper we present a sequent calculus for the multi-agent system S5 m . First, we introduce a particularly simple alternative Kripke semantics for the system S5 m . Then, we construct a hypersequent calculus for S5 m that reflects at the syntactic level this alternative interpretation. We prove that this hypersequent calculus is theoremwise equivalent to the Hilbert-style system S5 m , that it is contraction-free and cut-free, and finally that it is decidable. All results are proved in a purely syntactic way and the cut-elimination procedure yields an upper bound of ip 2 (n, 0) where ip 2 is an hyperexponential function of base 2.
Fichier principal
Vignette du fichier
articleS5m9.pdf ( 254.68 Ko ) Télécharger
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

halshs-00775806, version 1 (06-09-2018)

Identifiants

Citer

Francesca Poggiolesi. From a single agent to multi-agent via hypersequents. Logica Universalis, 2013, 7, pp.147-166. ⟨10.1007/s11787-012-0047-8⟩. ⟨halshs-00775806⟩
136 Consultations
159 Téléchargements
Dernière date de mise à jour le 28/04/2024
comment ces indicateurs sont-ils produits

Altmetric

Partager

Gmail Facebook Twitter LinkedIn Plus