Axioms for deliberative stit (Q1272834)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Axioms for deliberative stit
scientific article

    Statements

    Axioms for deliberative stit (English)
    0 references
    0 references
    15 July 1999
    0 references
    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)].
    0 references
    0 references
    deliberately sees to it that
    0 references
    soundness
    0 references
    modal logic
    0 references
    dstit
    0 references
    deliberative stit
    0 references
    axiomatisation
    0 references
    semantics
    0 references
    multiple agents
    0 references
    completeness
    0 references
    finite model property
    0 references
    companion formulas
    0 references

    Identifiers