Hierarchies of program logics (Q801048)
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: Hierarchies of program logics |
scientific article; zbMATH DE number 3877146
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hierarchies of program logics |
scientific article; zbMATH DE number 3877146 |
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
