Dynamic logic with program specifications and its relational proof system (Q4291023)
From MaRDI portal
scientific article; zbMATH DE number 563252
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamic logic with program specifications and its relational proof system |
scientific article; zbMATH DE number 563252 |
Statements
Dynamic logic with program specifications and its relational proof system (English)
0 references
12 December 1994
0 references
propositional dynamic logic
0 references
one-sorted relational formalization
0 references
operators for program specification
0 references
relational deduction system
0 references
relational logic
0 references
algebras of relations
0 references
semantics
0 references
0 references
