Properties of logics of individual and group agency

9 years 8 months ago
Properties of logics of individual and group agency
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 NEXPTIMEcomplete 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.
Andreas Herzig, François Schwarzentruber
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where AIML
Authors Andreas Herzig, François Schwarzentruber
Comments (0)