Validity and satisfaction in imperative logic (Q923063)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Validity and satisfaction in imperative logic
scientific article

    Statements

    Validity and satisfaction in imperative logic (English)
    0 references
    0 references
    1990
    0 references
    An imperative logic is presented as a modified dynamic logic. Rather than treating commands as prescribed propositions, they are handled as prescribed actions. Syntactically, this is accomplished by having the imperative operator apply, not to formulas (propositions) but to terms (actions). It is argued that the presented modelling stands free from a previously recognized difficulty (Ross's objection).
    0 references
    imperative logic
    0 references
    modified dynamic logic
    0 references
    prescribed actions
    0 references

    Identifiers