From a single agent to multi-agent via hypersequents - HAL-SHS - Sciences de l'Homme et de la Société 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 le fichier
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⟩
135 Consultations
159 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More