Validity and satisfaction in imperative logic (Q923063)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 4170860
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8283721804618835
0 references
0.802481472492218
0 references
0.7896583080291748
0 references
