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.

• Type: Conference
• Year: 2008
• Where: AIML
• Authors: Andreas Herzig, François Schwarzentruber
• Keywords: AIML 2008, Deliberative Stit Logic, Group Stit, Logical Reasoning, STIT Logic