Hierarchies of program logics (Q801048)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hierarchies of program logics |
scientific article |
Statements
Hierarchies of program logics (English)
0 references
1984
0 references
Translation from Sib. Mat. Zh. 24, No.3(139), 184-192 (Russian) (1983; Zbl 0518.03002).
0 references
infinitary logic
0 references
dynamic logic
0 references
definability
0 references
