Validity and satisfaction in imperative logic (Q923063)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Validity and satisfaction in imperative logic |
scientific article; zbMATH DE number 4170860
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Validity and satisfaction in imperative logic |
scientific article; zbMATH DE number 4170860 |
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
