Semantics of looping programs in Propositional Dynamic Logic (Q3960666)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantics of looping programs in Propositional Dynamic Logic |
scientific article |
Statements
Semantics of looping programs in Propositional Dynamic Logic (English)
0 references
1982
0 references
standard interpretation
0 references
looping construct
0 references
Kleene closure
0 references
loop invariant interpretation
0 references
loop invariant models
0 references
Segerberg axiomatization
0 references
completeness of the class of standard models
0 references
