Properties of logics of individual and group agency - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Properties of logics of individual and group agency

Résumé

We provide proof-theoretic results about deliberative STIT logic. First we present STIT logic for individual agents without time, where the problem of satisfiability has recently been shown to be NEXPTIME-complete in the general case. Then we study STIT logic for groups of agents. We prove that satisfiability of STIT formulas involving groups of agents is undecidable by reducing the problem of satisfiability of a formula of the product logic S5n to group STIT satisfiability problem. We also prove that group STIT is not finitely axiomatizable.
Fichier non déposé

Dates et versions

hal-03526736 , version 1 (14-01-2022)

Identifiants

  • HAL Id : hal-03526736 , version 1

Citer

Andreas Herzig, François Schwarzentruber. Properties of logics of individual and group agency. 7th Conference on Advances in Modal Logic (AIML 2008), Sep 2008, Nancy, France. pp.133-149. ⟨hal-03526736⟩
21 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More