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
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