Axioms for deliberative stit (Q1272834)

This paper provides an axiomatisation of the semantics for the dstit (`deliberately sees to it that') operator with multiple agents. [See, e.g., \textit{J. F. Horty} and \textit{N. Belnap}, ``The deliberative stit: a study of action, omission, ability and obligation'', J. Philos. Log. 24, 583-644 (1995; Zbl 0846.03001).] The language contains no other modal operators. Soundness, completeness, and the finite model property are proved, the last two of these by employing the technique of companion formulas, developed in connection with other stit operators [see, e.g., \textit{M. Xu}, ``On the basic logic of stit with a single agent'', J. Symb. Log. 60, 459-483 (1995; Zbl 0827.03003)].